{"id":"W3021579240","doi":"10.1016/b978-012369526-0/50013-9","title":"Processor Verification","year":2007,"lang":"en","type":"book-chapter","venue":"Elsevier eBooks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Advanced Micro Devices (Canada)","funders":"","keywords":"Functional verification; Computer science; Runtime verification; Correctness; Software verification; High-level verification; Intelligent verification; Formal verification; Verification; Assertion; Computer engineering; Software; Embedded system; Computer architecture; Programming language; Software construction; Software system","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.0009546503,0.0003655048,0.0003322998,0.0002742613,0.0001309206,0.0001336896,0.00144794,0.0004285648,0.00004280415],"category_scores_gemma":[0.00005452927,0.0003682124,0.000143439,0.00004171608,0.0001151951,0.0002340699,0.0002091327,0.000495479,0.0007215241],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000154838,"about_ca_system_score_gemma":0.0001638296,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.362273e-7,"about_ca_topic_score_gemma":0.000001787582,"domain_scores_codex":[0.9978276,0.00003153438,0.0005537489,0.0007064643,0.000560094,0.0003205947],"domain_scores_gemma":[0.9975955,0.00004947504,0.0004765161,0.001499232,0.0002513472,0.0001278524],"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.00000294663,0.000003385122,2.634178e-7,0.00004288692,0.00001135832,0.000004054724,0.0001280542,2.926575e-7,0.00002648822,0.3285493,0.00003765529,0.6711933],"study_design_scores_gemma":[0.00009420786,0.00004607518,0.00002256636,0.0001351715,0.00001982249,0.00002172547,0.000001353453,0.0004803317,0.0008602461,0.03753366,0.9603755,0.0004092861],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000001510202,0.0004237771,0.08568723,0.0000423015,0.0007318918,0.0004916341,0.00000386671,0.0003151787,0.9123026],"genre_scores_gemma":[0.00003995037,0.00003614311,0.2741728,0.0002668602,0.0002202174,0.00003383485,0.000009490068,0.00004400151,0.7251766],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9603379,"threshold_uncertainty_score":0.999877,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04824886346774474,"score_gpt":0.3020996722095867,"score_spread":0.2538508087418419,"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."}}