{"id":"W2810463508","doi":"10.1109/mtv.2017.19","title":"Dynamic Exerciser Template Weighting in x86 Processor Verification","year":2017,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Advanced Micro Devices (Canada)","funders":"","keywords":"Computer science; x86; Template; Weighting; Functional verification; Embedded system; Computer engineering; Theoretical computer science; Formal verification; Software; Operating system; 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.002754495,0.0006459025,0.000501096,0.001040034,0.0003844135,0.0008565215,0.001625729,0.0006385482,0.002114965],"category_scores_gemma":[0.01276177,0.0004482579,0.00036817,0.0006979516,0.0008932282,0.002082115,0.001608455,0.0007117871,0.0006338928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000545245,"about_ca_system_score_gemma":0.0007250506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006746809,"about_ca_topic_score_gemma":0.001154866,"domain_scores_codex":[0.9965655,0.001108943,0.0002647028,0.0006805211,0.00110866,0.0002716862],"domain_scores_gemma":[0.9937904,0.00279935,0.0007235141,0.00190555,0.0005689796,0.0002121285],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001042455,0.0004130851,0.008704312,0.0002300202,0.00005794016,0.0002710698,0.0007514203,0.09686167,0.1245492,0.01801828,0.00134932,0.7477514],"study_design_scores_gemma":[0.0001688138,0.001189585,0.00431171,0.00007681456,0.00008020319,0.0006176672,0.0001204461,0.7812505,0.1784358,0.02150466,0.01215568,0.00008813],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.134279,0.0002867139,0.8578972,0.00009226302,0.00003630182,0.0001850269,0.00004094342,0.00467926,0.002503339],"genre_scores_gemma":[0.701997,0.00009346074,0.2951722,0.00009296684,0.00002146563,0.0001250767,0.00009347001,0.0005759828,0.001828324],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002754495,"threshold_uncertainty_score":0.01456732,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02144637647299755,"score_gpt":0.3025776588844818,"score_spread":0.2811312824114842,"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."}}