{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004879806,0.0004125395,0.0003361066,0.0002180569,0.0005410742,0.0006852373,0.0007976723,0.0009056812,0.002400311],"category_scores_gemma":[0.002693927,0.0002266208,0.0004460865,0.0001664322,0.001019602,0.0007958425,0.0006479378,0.000809115,0.0002136405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006248716,"about_ca_system_score_gemma":0.002097433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003112451,"about_ca_topic_score_gemma":0.002782287,"domain_scores_codex":[0.999318,0.0001558597,0.00001709253,0.00008237162,0.0003562561,0.00007045268],"domain_scores_gemma":[0.9990962,0.0005004354,0.0000938537,0.0001382141,0.000141952,0.00002942897],"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.0001452927,0.00006768254,0.002253139,0.0001368584,0.00004566607,0.0004234482,0.0001996157,0.8836651,0.04226917,0.04286954,0.001289069,0.02663541],"study_design_scores_gemma":[0.00002685346,0.0001059764,0.0002311812,0.00001013829,0.000008887497,0.0000659736,0.00001905961,0.9661325,0.02617635,0.006155553,0.001058884,0.000008526571],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.34518,0.00008444245,0.6463429,0.0003285315,0.00004172947,0.0001735709,0.0002721497,0.00193737,0.0056394],"genre_scores_gemma":[0.9416243,0.00005039251,0.05696248,0.0000543206,0.000005411112,0.00007620706,0.0000940888,0.00003200038,0.00110084],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003112451,"threshold_uncertainty_score":0.008029819,"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."}}