{"id":"W1884085015","doi":"10.1109/icecs.2001.957530","title":"Combinational verification by simulations, SAT and BDDs","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Combinational logic; Satisfiability; Automatic test pattern generation; Computer science; Boolean satisfiability problem; Test vector; Intelligent verification; Functional verification; Formal verification; Algorithm; High-level verification; Runtime verification; Fault coverage; Theoretical computer science; Electronic circuit; Logic gate; Programming language; Artificial intelligence; Engineering; Test set","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.00004825138,0.00003657906,0.00003295372,0.00002785724,0.0001028892,0.00007994287,0.0001138301,0.0000168627,0.00006500186],"category_scores_gemma":[0.00003033144,0.00003517632,0.000007386378,0.0001207829,0.00001354764,0.0002767694,0.00002275672,0.00002819168,0.00004293894],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008639689,"about_ca_system_score_gemma":0.000002987997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005229712,"about_ca_topic_score_gemma":7.742719e-7,"domain_scores_codex":[0.9996226,0.00001235276,0.00007357638,0.0001284509,0.0000944962,0.00006848478],"domain_scores_gemma":[0.9997408,0.0000701731,0.00002109762,0.0001064207,0.00003072116,0.00003072097],"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":[2.439295e-8,0.0001407301,0.02503683,0.000007905386,0.000007954534,0.000001368468,0.0004394687,0.0002436584,0.008295844,0.2867749,0.01639194,0.6626593],"study_design_scores_gemma":[0.0001587108,0.00001464241,0.01617214,0.000003046222,0.000001199749,0.0000051973,0.000005289779,0.9767323,0.000219099,0.003137674,0.003466588,0.00008415005],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08757711,0.0004409172,0.889056,0.00362668,0.00009920276,0.00008775337,0.000003868059,0.000277155,0.01883128],"genre_scores_gemma":[0.9976613,0.000005591593,0.001173611,0.0002765221,0.00001068327,0.000001066918,0.000006751857,0.000001649233,0.0008628025],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9764886,"threshold_uncertainty_score":0.1434449,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01976451715607543,"score_gpt":0.2059967351425856,"score_spread":0.1862322179865101,"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."}}