{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004628356,0.0010425,0.0005793099,0.0009128037,0.0006581399,0.002241305,0.0009867272,0.0008221869,0.09982022],"category_scores_gemma":[0.001316632,0.0007677821,0.0006514051,0.001034654,0.0008159575,0.002966063,0.001280733,0.001389403,0.04754633],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007673494,"about_ca_system_score_gemma":0.001011166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001194704,"about_ca_topic_score_gemma":0.001662884,"domain_scores_codex":[0.9994794,0.00006162394,0.00002590365,0.0001163441,0.0002769212,0.00003992866],"domain_scores_gemma":[0.9995412,0.0001204986,0.00001247029,0.0002087878,0.0001063377,0.0000108047],"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.00005042796,0.00004662467,0.0001819217,0.0003103976,0.00001923543,0.0001069355,0.0001684655,0.004767466,0.006046123,0.2380165,0.1030466,0.6472393],"study_design_scores_gemma":[0.00002668026,0.0000405258,0.0002604496,0.0002499019,0.00003533294,0.0004686799,0.00005558853,0.01764059,0.01802612,0.2248876,0.7382863,0.00002218023],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.002752396,0.002849235,0.4889471,0.0007479949,0.000557964,0.0001106836,0.0005167417,0.00611681,0.4974012],"genre_scores_gemma":[0.07113815,0.004889132,0.1684358,0.0004101805,0.0002668354,0.0002173386,0.002529943,0.002096934,0.7500157],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.09982022,"threshold_uncertainty_score":0.3339319,"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."}}