{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003378513,0.00008073322,0.00009347308,0.00008267107,0.0002405549,0.00033207,0.001052103,0.00004595047,0.000003954182],"category_scores_gemma":[0.0003151368,0.00007073649,0.00001826148,0.0000916901,0.00002723984,0.0005807515,0.0001847978,0.00008686772,0.00003542987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003221186,"about_ca_system_score_gemma":0.00003201387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001919369,"about_ca_topic_score_gemma":0.00003216946,"domain_scores_codex":[0.9992613,0.00001327676,0.0001474562,0.0002851894,0.0001191201,0.000173712],"domain_scores_gemma":[0.9988852,0.00005820557,0.000117876,0.0008585664,0.00004805073,0.00003207764],"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.00001644462,0.0002215318,0.2290632,0.0001342442,0.000009022097,0.00006914452,0.001919403,0.00004518596,0.002789221,0.01896604,0.008426529,0.7383401],"study_design_scores_gemma":[0.0003880783,0.00005508452,0.2714634,0.0002972362,0.00000327271,0.00002502189,0.000006782003,0.5861363,0.007434864,0.1330388,0.0006771668,0.0004739675],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1823788,0.00005030173,0.7929789,0.001813581,0.0002385855,0.0002488802,4.566242e-7,0.01021756,0.01207291],"genre_scores_gemma":[0.7410839,0.000004598933,0.2585118,0.0000517342,0.000006490969,0.0000223119,5.373358e-7,0.000004942066,0.0003137045],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7378661,"threshold_uncertainty_score":0.3202159,"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."}}