{"id":"W2589051953","doi":"10.1109/tvlsi.2017.2658564","title":"Emulation Infrastructure for the Evaluation of Hardware Assertions for Post-Silicon Validation","year":2017,"lang":"en","type":"article","venue":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"University of Illinois at Urbana-Champaign","keywords":"Emulation; Assertion; Computer science; Hardware emulation; Crash; Embedded system; FLOPS; Computer engineering; Computer architecture; Parallel computing; Programming language; Field-programmable gate array","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001799249,0.0002189281,0.000262027,0.0001993481,0.001819339,0.0005799303,0.0006912705,0.0001773828,0.00001306212],"category_scores_gemma":[0.0002812477,0.0001714745,0.0002703106,0.0001819427,0.00005031611,0.001388899,0.000003857867,0.0001841272,0.000006679485],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001800287,"about_ca_system_score_gemma":0.0002089306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001267755,"about_ca_topic_score_gemma":0.0003528081,"domain_scores_codex":[0.9978801,0.0001887594,0.0006029676,0.0004369945,0.0006250637,0.0002661332],"domain_scores_gemma":[0.995887,0.0004991362,0.0005981736,0.0009698977,0.001983898,0.00006185198],"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.00004007942,0.0003867868,0.0005175304,0.0002569751,0.0002466415,3.071978e-7,0.003710975,0.4598581,0.05416828,0.008179866,0.0007615011,0.4718729],"study_design_scores_gemma":[0.001025239,0.0001678976,0.004174075,0.0001785376,0.0001670531,0.000006990493,0.0006611448,0.9616384,0.03081646,0.0006281108,0.0003432877,0.0001928276],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04121247,0.0000549716,0.9529317,0.0005240995,0.002710261,0.002029493,0.0002991619,0.0001093677,0.0001284454],"genre_scores_gemma":[0.9977422,0.00000608131,0.0009345403,0.00004555708,0.0001894661,0.0007875778,0.000075427,0.00002109083,0.0001980568],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9565297,"threshold_uncertainty_score":0.9994801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05255866105912986,"score_gpt":0.3211719297732881,"score_spread":0.2686132687141582,"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."}}