{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007612725,0.002139324,0.0009405862,0.001943166,0.0004435832,0.001415179,0.003455962,0.001128986,0.01404484],"category_scores_gemma":[0.02293603,0.001021909,0.001162547,0.0006695776,0.0009510874,0.002685326,0.002459243,0.001900563,0.004066315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001214416,"about_ca_system_score_gemma":0.002353321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001097307,"about_ca_topic_score_gemma":0.001089995,"domain_scores_codex":[0.993542,0.002779115,0.0007718847,0.0007704697,0.001640696,0.0004958239],"domain_scores_gemma":[0.9783642,0.008988604,0.0022052,0.006849062,0.003194685,0.0003981724],"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.002602088,0.002032003,0.01282335,0.003175544,0.0005621302,0.001293566,0.00102574,0.1536188,0.3273782,0.05169129,0.02191596,0.4218813],"study_design_scores_gemma":[0.0003773842,0.001569533,0.003106633,0.0003418287,0.0002272693,0.0006569235,0.0001269504,0.6307221,0.3111078,0.0114596,0.04017071,0.0001332389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01339353,0.0002056626,0.9339742,0.00009162474,0.00007481239,0.0006751196,0.0008149732,0.04841038,0.00235961],"genre_scores_gemma":[0.3232284,0.0003727858,0.6604275,0.0002618388,0.00008094797,0.002129642,0.004576008,0.006051471,0.002871493],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01404484,"threshold_uncertainty_score":0.04698473,"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."}}