{"id":"W3150180001","doi":"10.1109/famcad.2007.39","title":"Circuit Level Verification of a High-Speed Toggle","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Digital electronics; Projection (relational algebra); Solver; Very-large-scale integration; Electronic circuit; Computer engineering; Algorithm; Electronic engineering; Embedded system; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005434979,0.0004015863,0.0003461607,0.0002259795,0.0005504319,0.0007669163,0.0008204245,0.0009327946,0.002277921],"category_scores_gemma":[0.002761759,0.0002441627,0.0005083149,0.0001785825,0.001179916,0.0008504344,0.0007330138,0.0008834443,0.000226546],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006445687,"about_ca_system_score_gemma":0.002225005,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002975129,"about_ca_topic_score_gemma":0.002598565,"domain_scores_codex":[0.9991973,0.0001917603,0.00002105152,0.0001035558,0.0004067068,0.00007962633],"domain_scores_gemma":[0.9990892,0.0005220193,0.00009309639,0.0001388183,0.0001276777,0.00002907487],"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.0001479247,0.00007372619,0.002338497,0.0001643828,0.00005164357,0.0004859622,0.0002488233,0.8442568,0.04753834,0.07019118,0.001366737,0.03313599],"study_design_scores_gemma":[0.00003137034,0.0001035017,0.000246248,0.00001363361,0.00001070184,0.00008268113,0.00002299467,0.9587752,0.02851115,0.01076948,0.00142295,0.00001019033],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.24162,0.00007698107,0.7509212,0.0003066074,0.00003574068,0.0001762321,0.0002241614,0.00172409,0.00491496],"genre_scores_gemma":[0.9189329,0.00006337429,0.07950138,0.00006230226,0.000006510193,0.00009650835,0.00009878031,0.00003568178,0.001202633],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002975129,"threshold_uncertainty_score":0.007620394,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09556933078876165,"score_gpt":0.3121776807763957,"score_spread":0.216608349987634,"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."}}