{"id":"W2104359803","doi":"10.1109/vtest.1992.232761","title":"Recent advances in logic synthesis with testability","year":2003,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Testability; Computer science; Design for testing; Logic optimization; Logic synthesis; Sequential logic; Class (philosophy); Boolean function; Process (computing); Factorization; Decomposition; Logic gate; Computer engineering; Theoretical computer science; Algorithm; Reliability engineering; Programming language; Artificial intelligence; Engineering","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003222305,0.00006954443,0.00009314177,0.00003864495,0.00004102354,0.00003702239,0.0002329748,0.00001689307,0.00005286732],"category_scores_gemma":[0.0004759682,0.00004707256,0.00001174642,0.000452856,0.00002548202,0.0003645626,0.00001981589,0.00005819688,0.00001510331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000301192,"about_ca_system_score_gemma":0.00004804929,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006874039,"about_ca_topic_score_gemma":0.0001171076,"domain_scores_codex":[0.9992602,0.0000674518,0.0001120322,0.0002579087,0.0001106827,0.0001916697],"domain_scores_gemma":[0.9993696,0.0002704412,0.00002788828,0.0002543467,0.00003633934,0.00004142884],"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":[1.185434e-7,0.00007557163,0.1080783,0.000007660061,9.942415e-7,0.00001524271,0.00005747211,0.0002020542,0.00004930924,0.05433347,0.000007379596,0.8371724],"study_design_scores_gemma":[0.002656424,0.001254579,0.3168299,0.0007375132,0.00003334189,0.0005704054,0.001739321,0.05643777,0.05079102,0.3318906,0.2328743,0.004184842],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03366967,0.002950555,0.668397,0.0008952551,0.0001010126,0.0001826534,3.630368e-7,0.0003260443,0.2934774],"genre_scores_gemma":[0.9852533,0.0002073986,0.01429773,0.0001907407,0.000004390893,0.00001065254,5.494913e-8,0.000002397052,0.0000333541],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9515836,"threshold_uncertainty_score":0.1919563,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02377025411241719,"score_gpt":0.2405193157870233,"score_spread":0.2167490616746061,"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."}}