{"id":"W1505256921","doi":"10.1023/a:1012820722053","title":"Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits?","year":2001,"lang":"en","type":"article","venue":"Journal of Electronic Testing","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Centre International de Recherche sur le Cancer","keywords":"Bounded function; Class (philosophy); Combinational logic; Automatic test pattern generation; Computer science; Electronic circuit; Algorithm; Discrete mathematics; Mathematics; Logic gate; Engineering; Artificial intelligence; Electrical 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.0009642642,0.000765293,0.0009734394,0.0004361234,0.0008730423,0.002511782,0.001688161,0.002502759,0.01782928],"category_scores_gemma":[0.01422465,0.000679646,0.001107854,0.001145888,0.001609929,0.006680613,0.001227672,0.002909967,0.003877919],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007440849,"about_ca_system_score_gemma":0.002044789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001312615,"about_ca_topic_score_gemma":0.002405374,"domain_scores_codex":[0.9982352,0.0004617591,0.0000952637,0.0003430271,0.0005200391,0.0003445797],"domain_scores_gemma":[0.9887439,0.008111519,0.0003776315,0.001828289,0.0007835123,0.0001552365],"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":[0.0009273542,0.0004045909,0.002650872,0.001927513,0.0002483593,0.0006642102,0.0004621229,0.1630448,0.02103041,0.3248852,0.06375622,0.4199983],"study_design_scores_gemma":[0.0001723482,0.0001326448,0.0004516413,0.00008373109,0.00005175523,0.0003966775,0.0004036158,0.2075446,0.008135089,0.7721929,0.01039771,0.00003731353],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2195473,0.001805301,0.6794311,0.02756086,0.0007822221,0.0002920901,0.001391938,0.004364132,0.06482501],"genre_scores_gemma":[0.8393463,0.001044934,0.1451706,0.001360092,0.000348134,0.0002829591,0.001265305,0.0007137362,0.01046785],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01782928,"threshold_uncertainty_score":0.05964482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0278164503253915,"score_gpt":0.2647368942339958,"score_spread":0.2369204439086043,"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."}}