{"id":"W2126173763","doi":"10.1109/cicc.1994.379751","title":"Automatic synthesis and the cost of testing","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"McGill University","keywords":"Retiming; Testability; Yield (engineering); Computer science; Fault (geology); Design for testing; Reliability engineering; Algorithm; Engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001376528,0.0003865989,0.0004148576,0.00101604,0.0003252457,0.001372733,0.0009644654,0.000623102,0.010792],"category_scores_gemma":[0.01063391,0.0002647912,0.0003873016,0.0009290928,0.001143629,0.001837946,0.0005804537,0.0005898724,0.001333263],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001452007,"about_ca_system_score_gemma":0.001170301,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00125051,"about_ca_topic_score_gemma":0.001482223,"domain_scores_codex":[0.9977199,0.0007613846,0.00007043481,0.0001515718,0.001101639,0.0001950462],"domain_scores_gemma":[0.988631,0.009003934,0.0005227152,0.001050683,0.0006742188,0.0001174999],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0008310584,0.0001301758,0.003167529,0.0005362338,0.00007555343,0.0004059335,0.0001643774,0.1369471,0.02957776,0.2750816,0.006457394,0.5466253],"study_design_scores_gemma":[0.0002997896,0.001207696,0.01099934,0.0003108365,0.0002078803,0.001889119,0.0003130125,0.5376536,0.0334563,0.3394148,0.07416174,0.00008585159],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.341481,0.01376696,0.4656809,0.009097199,0.0004929939,0.0002074475,0.0006466975,0.003264823,0.1653621],"genre_scores_gemma":[0.9050381,0.002681177,0.07682016,0.0003952729,0.0001651689,0.0001638343,0.0004176391,0.000326807,0.01399181],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.010792,"threshold_uncertainty_score":0.03610277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04681878817779114,"score_gpt":0.2149915654198374,"score_spread":0.1681727772420462,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}