{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00006232091,0.0002483694,0.0002121403,0.0001027118,0.00005855921,0.00002682014,0.0001254998,0.0003467878,0.000137334],"category_scores_gemma":[0.00001876763,0.0002736347,0.000091093,0.0000490113,0.00001330858,0.00008642218,0.000009890658,0.000440315,0.0002982479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008147029,"about_ca_system_score_gemma":0.0001511414,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001796749,"about_ca_topic_score_gemma":0.00001316183,"domain_scores_codex":[0.9991448,0.00001117488,0.0002136946,0.00017705,0.0001995596,0.0002537106],"domain_scores_gemma":[0.9995957,0.00003618,0.00003995773,0.0002435068,0.00003261248,0.00005203306],"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":[4.022319e-7,0.000001757358,8.259472e-7,0.00006679363,0.00006375873,0.00000558369,0.00003402911,0.6421825,0.0001906902,0.001085169,0.351097,0.005271428],"study_design_scores_gemma":[0.0000815563,0.00001536424,0.000004952502,0.0000285791,0.00001562741,0.00001320041,0.000001102181,0.5746158,0.000568253,0.00008428878,0.4242734,0.000297848],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0003568741,0.00185081,0.01096184,0.00001230643,0.0008295137,0.000236958,0.000006928768,0.001278375,0.9844664],"genre_scores_gemma":[0.00118698,0.0004772165,0.003274391,0.0001058736,0.0009066382,0.00003189842,0.0003058587,0.000189914,0.9935212],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.07317638,"threshold_uncertainty_score":0.9999716,"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."}}