{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002589669,0.00004083028,0.00008642879,0.00002197776,0.00007855395,0.0000474798,0.0002554106,0.00001019804,0.0000363369],"category_scores_gemma":[0.0008755564,0.00002343974,0.00001601161,0.0002002102,0.00006705796,0.00009891945,0.00006872715,0.00003152795,0.00001276979],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002864736,"about_ca_system_score_gemma":0.000003841119,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003506037,"about_ca_topic_score_gemma":0.000001452834,"domain_scores_codex":[0.9995844,0.00003540393,0.0001143689,0.00009045251,0.00008407933,0.00009126841],"domain_scores_gemma":[0.9981574,0.001571875,0.0000489911,0.0001749452,0.00002532252,0.00002151214],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[8.56798e-9,0.000007403694,0.001775446,0.00001083907,0.000003390219,0.000001330252,0.0002328597,0.000008432064,0.0001298752,0.01458406,0.00009253706,0.9831538],"study_design_scores_gemma":[0.0001053471,0.000006543412,0.002457235,0.00003361062,0.000004269269,0.00002496385,0.00002086937,0.9959782,0.0003864961,0.0009276224,0.00001577608,0.00003901429],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1631989,0.0007427489,0.5498548,0.003891256,0.0001206179,0.0003882385,7.64481e-7,0.0005636328,0.2812391],"genre_scores_gemma":[0.9929057,0.000002731882,0.006854434,0.0001291497,0.00000951843,0.000004937143,7.462423e-9,0.00000167642,0.00009179027],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9959698,"threshold_uncertainty_score":0.1048186,"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."}}