{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001632257,0.0008880047,0.0006487299,0.0008504441,0.0003185472,0.001272163,0.0008205978,0.0008540005,0.002544378],"category_scores_gemma":[0.004901985,0.0006997575,0.00082169,0.000830663,0.002201898,0.002514948,0.001026056,0.001178366,0.0004888815],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007686777,"about_ca_system_score_gemma":0.0007036663,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001449822,"about_ca_topic_score_gemma":0.001559538,"domain_scores_codex":[0.9977334,0.001125625,0.0001448381,0.0002341983,0.0006897775,0.00007225553],"domain_scores_gemma":[0.9963316,0.002868314,0.0001824615,0.0004161485,0.0001735369,0.00002796993],"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.0002168266,0.00005567711,0.0009569377,0.0004827401,0.0001295721,0.0002044233,0.0001986982,0.4661489,0.01239835,0.4060678,0.0008728282,0.1122672],"study_design_scores_gemma":[0.00004382534,0.00006054591,0.0001072812,0.00006973332,0.00003258134,0.0001163142,0.00002681796,0.8067022,0.01177648,0.1719446,0.009095943,0.00002360131],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006628942,0.0005268547,0.9892995,0.0001508684,0.00002237872,0.00003926262,0.00005504248,0.0004883924,0.002788629],"genre_scores_gemma":[0.4375453,0.002338198,0.5562235,0.0001843625,0.00007478881,0.0003722553,0.0002948646,0.0002402688,0.002726479],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002544378,"threshold_uncertainty_score":0.008632302,"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."}}