{"id":"W2135664660","doi":"10.1109/fmcad.2008.ecp.11","title":"Verifying an Arbiter Circuit","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Arbiter; Computer science; Parallel computing","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.00168989,0.0004493998,0.0006178054,0.0002794823,0.0007563106,0.001129812,0.001250723,0.001185739,0.003957164],"category_scores_gemma":[0.008356233,0.0003756357,0.0007635637,0.0001650906,0.001476841,0.002064902,0.00110568,0.001192332,0.0006209734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008434802,"about_ca_system_score_gemma":0.001944446,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002408563,"about_ca_topic_score_gemma":0.001304647,"domain_scores_codex":[0.9974297,0.0006902548,0.0001137231,0.000407915,0.001006578,0.0003518047],"domain_scores_gemma":[0.9950932,0.003474079,0.0002517858,0.0006094626,0.0005022567,0.00006918242],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007411034,0.000206532,0.005109095,0.0005184763,0.0001222362,0.001602485,0.0008369187,0.3170544,0.1383185,0.4632545,0.002646165,0.06958953],"study_design_scores_gemma":[0.0001321322,0.0002190356,0.0004250544,0.00004107832,0.00004781192,0.0002484545,0.0001008802,0.8317811,0.106169,0.05314321,0.007655925,0.00003633033],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0998571,0.00005183695,0.8920361,0.0002403362,0.00005669379,0.0001389276,0.0001330617,0.001728175,0.005757758],"genre_scores_gemma":[0.8980882,0.00006161875,0.09769183,0.0001563884,0.00001781739,0.0001199692,0.0001379345,0.0001980519,0.003528197],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003957164,"threshold_uncertainty_score":0.01323801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1257499411242284,"score_gpt":0.3046518231055421,"score_spread":0.1789018819813137,"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."}}