{"id":"W4245819877","doi":"10.1109/fmcad.2007.4402001","title":"Circuit Level Verification of a High-Speed Toggle","year":2007,"lang":"en","type":"article","venue":"","topic":"Real-time simulation and control systems","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Digital electronics; Solver; Projection (relational algebra); Very-large-scale integration; Electronic circuit; Computer engineering; Electronic engineering; Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001539553,0.00005280084,0.0001000359,0.00005423275,0.00001083079,0.000008857949,0.00005181984,0.00004359434,0.0002141732],"category_scores_gemma":[0.000008306747,0.00005023231,0.00002832112,0.000100498,0.000006356312,0.00006484974,0.000002616915,0.00002813901,0.00009504424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002472807,"about_ca_system_score_gemma":0.000004470659,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001356567,"about_ca_topic_score_gemma":0.00002190094,"domain_scores_codex":[0.9995251,0.000004219587,0.0002124183,0.00006104743,0.00009947881,0.00009777667],"domain_scores_gemma":[0.9997321,0.00002953643,0.00002317642,0.0001434639,0.00003747295,0.00003422576],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.00002928102,0.00005322664,0.001437737,0.0001082399,0.0001018524,0.000002281597,0.0006004182,0.07320952,0.750584,0.07638349,0.002058586,0.09543139],"study_design_scores_gemma":[0.003575151,0.0000819539,0.3915246,0.00005399505,0.00003640915,0.000008617011,0.0006055442,0.3913116,0.189157,0.001295394,0.02170537,0.0006444516],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3720146,0.00006730993,0.4215177,0.00002248997,0.0003206831,0.0001939297,0.000004570984,0.0002809016,0.2055778],"genre_scores_gemma":[0.9984488,0.000001940495,0.0002661554,0.00001203318,0.0000541176,0.000001226095,0.000006342415,0.00001025817,0.001199105],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6264342,"threshold_uncertainty_score":0.2345046,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02870454224621179,"score_gpt":0.2259293573673336,"score_spread":0.1972248151211218,"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."}}