{"id":"W2098178883","doi":"10.1109/isqed.2007.38","title":"Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis","year":2007,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Assertion; Debugging; Computer science; Generator (circuit theory); Functional verification; Formal verification; Software bug; Programming language; Electronic circuit; Embedded system; Computer architecture; Computer engineering; Software; 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.0004138532,0.00004682276,0.00005712465,0.0001158638,0.00002489698,0.00004031628,0.0001370298,0.00003836843,0.000004544099],"category_scores_gemma":[0.0001539259,0.00004581891,0.000009093706,0.0003529717,0.000007383044,0.0002715631,0.00002708737,0.00006774288,0.000007332907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002422967,"about_ca_system_score_gemma":0.00001261698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000367338,"about_ca_topic_score_gemma":0.001096247,"domain_scores_codex":[0.9994389,0.00001321214,0.0001512724,0.0001813271,0.00006872709,0.0001465091],"domain_scores_gemma":[0.9996193,0.0001789764,0.00002413542,0.0001259066,0.00001609885,0.00003555576],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[1.970899e-7,0.0000265624,0.7943999,0.000003638112,5.627824e-7,0.000006445033,0.0002991795,0.000008720277,0.001660636,0.003134883,0.00004011507,0.2004191],"study_design_scores_gemma":[0.0001588092,0.00002122153,0.9738964,0.00002252631,5.321634e-7,0.000003198561,0.00009921841,0.009603995,0.01535121,0.0006394828,0.0001185538,0.0000848912],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.894563,0.0000717022,0.1016512,0.0007244677,0.00004287292,0.00005292771,3.368527e-8,0.00005056253,0.002843272],"genre_scores_gemma":[0.9986076,0.00001925651,0.0008756532,0.0004543529,0.00001182863,0.00000590957,4.396892e-7,0.000001857125,0.00002309098],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2003343,"threshold_uncertainty_score":0.1868441,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01623133635316808,"score_gpt":0.2574395404424716,"score_spread":0.2412082040893035,"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."}}