{"id":"W2491385276","doi":"10.1007/978-1-4020-8586-4","title":"Generating Hardware Assertion Checkers","year":2008,"lang":"en","type":"book","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":76,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Assertion; Computer science; Programming language","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.001692423,0.001598569,0.000777632,0.001726957,0.0007345316,0.001979033,0.003021099,0.001231504,0.02634069],"category_scores_gemma":[0.009899498,0.001291919,0.001849678,0.001055869,0.001415456,0.003875441,0.002936849,0.002097836,0.006841425],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008883956,"about_ca_system_score_gemma":0.00128899,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009783155,"about_ca_topic_score_gemma":0.002130771,"domain_scores_codex":[0.9974737,0.0006227887,0.0001399803,0.0004668383,0.001077526,0.0002192435],"domain_scores_gemma":[0.9918719,0.005382787,0.0002926407,0.001270104,0.001091837,0.00009074277],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003872037,0.0003050516,0.001752501,0.001327649,0.0001453309,0.0009700226,0.0007245282,0.04187873,0.02673465,0.2298665,0.06891751,0.6269903],"study_design_scores_gemma":[0.0003866439,0.0002668781,0.0007175388,0.0005632475,0.0004604801,0.001032098,0.0003627026,0.3488584,0.1577415,0.3343664,0.1550864,0.0001577296],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.02333997,0.0004303427,0.9029427,0.0007490931,0.0005922938,0.0002994768,0.0009750097,0.03988685,0.03078423],"genre_scores_gemma":[0.3200455,0.0005987562,0.6099067,0.0009635915,0.00023055,0.0003761249,0.004716887,0.01131492,0.05184692],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02634069,"threshold_uncertainty_score":0.08811837,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006524249935940998,"score_gpt":0.1934311063156297,"score_spread":0.1869068563796887,"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."}}