{"id":"W2159907637","doi":"10.5555/1356802.1356904","title":"Faster projection based methods for circuit level verification","year":2008,"lang":"en","type":"article","venue":"","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Reachability; Very-large-scale integration; Flip-flop; Formal verification; Computation; Transistor; Digital electronics; Reduction (mathematics); Projection (relational algebra); Computer engineering; Electronic circuit; Functional verification; Embedded system; Computer hardware; Algorithm; Electrical engineering; 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.0005005267,0.00007655124,0.0001034154,0.00006083776,0.0001336837,0.00003882699,0.0002599622,0.00003985591,0.00001487447],"category_scores_gemma":[0.00009659911,0.00006110182,0.00006446413,0.0002914705,0.00002277273,0.0002345112,0.00002485047,0.00004802787,0.00001266441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002426874,"about_ca_system_score_gemma":0.00005281053,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001663227,"about_ca_topic_score_gemma":2.158302e-7,"domain_scores_codex":[0.9991813,0.0001335641,0.0001453387,0.0002886017,0.00009337581,0.000157819],"domain_scores_gemma":[0.9993043,0.000218161,0.00004909736,0.0002887197,0.00008938098,0.00005034584],"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.000002282482,0.00003825745,0.00003163277,0.000005582468,0.000003124487,2.96617e-7,0.00007688031,0.00000363312,0.00817633,0.0146501,0.0002014023,0.9768105],"study_design_scores_gemma":[0.0004025718,0.0001658727,0.003707051,0.000003982814,0.00000382116,0.00001396959,0.00001004392,0.8906857,0.06377772,0.009934668,0.03109542,0.0001991468],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00008399884,0.000009062008,0.9970993,0.0005115305,0.0003694466,0.0002562494,0.00000106728,0.0001378425,0.00153152],"genre_scores_gemma":[0.003605429,0.000001642197,0.9944671,0.0005085754,0.00006685047,0.00008974978,0.000001506659,0.000006164181,0.001252991],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9766113,"threshold_uncertainty_score":0.249166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2319006417294177,"score_gpt":0.3989357876412696,"score_spread":0.167035145911852,"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."}}