{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000817749,0.0001807317,0.0002677088,0.0002053434,0.0001423364,0.00008363373,0.0002131179,0.00008822887,0.00007365514],"category_scores_gemma":[0.0006512559,0.0001740487,0.0001115662,0.0004619818,0.0000264084,0.0005483946,0.00001511357,0.0005693457,0.0000169036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004443338,"about_ca_system_score_gemma":0.0003995672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002764136,"about_ca_topic_score_gemma":0.000003025662,"domain_scores_codex":[0.9981728,0.0000224734,0.000547558,0.0001339172,0.0004084736,0.0007147836],"domain_scores_gemma":[0.998398,0.0007189851,0.0002379325,0.0001312828,0.0004006562,0.000113147],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001663346,0.001204134,0.01619994,0.000539543,0.001110444,0.0002744512,0.001289683,0.5855622,0.09237289,0.01523419,0.239148,0.04689814],"study_design_scores_gemma":[0.003483968,0.001792744,0.002129095,0.0002598296,0.0001813311,0.002746572,0.00007866036,0.8382699,0.008167071,0.004384152,0.1378751,0.0006315897],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7196935,0.001927062,0.2686532,0.002513436,0.001118525,0.0004864621,0.000005399856,0.0002928346,0.005309545],"genre_scores_gemma":[0.9925885,0.00002507562,0.006440048,0.0003714557,0.000404089,0.000008980614,0.00000195138,0.00005610363,0.0001037633],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.272895,"threshold_uncertainty_score":0.7097502,"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."}}