{"id":"W2137974383","doi":"10.1109/iccd.2005.66","title":"Incorporating efficient assertion checkers into hardware emulation","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Emulation; Assertion; Hardware emulation; Computer science; Overhead (engineering); Generator (circuit theory); Computer architecture; Embedded system; Programming language; Computer hardware; Software","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.00300212,0.0008275348,0.0005398336,0.001004595,0.0003343394,0.001133935,0.00156794,0.0006752505,0.003777626],"category_scores_gemma":[0.01331605,0.0006024446,0.0005427346,0.0004550035,0.000857716,0.002105138,0.001567737,0.00104542,0.001144373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004579679,"about_ca_system_score_gemma":0.001262692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000813705,"about_ca_topic_score_gemma":0.001390784,"domain_scores_codex":[0.9970651,0.001305277,0.0002162698,0.000278016,0.0008990927,0.0002362661],"domain_scores_gemma":[0.989521,0.006758882,0.0005707783,0.002249861,0.0007881992,0.0001111988],"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.0008525462,0.0005084319,0.006173993,0.0006877076,0.0001219659,0.000814071,0.0003226837,0.2248176,0.1125425,0.1166136,0.008363567,0.5281814],"study_design_scores_gemma":[0.0001842694,0.0002205774,0.0003692821,0.0000551323,0.00005261895,0.0002590593,0.00003071441,0.8504488,0.1159818,0.0231959,0.009173452,0.00002852542],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0222709,0.00006319261,0.9626393,0.00008958059,0.00003090436,0.0001332275,0.0001329293,0.01310727,0.001532815],"genre_scores_gemma":[0.3527223,0.0001058626,0.6435644,0.0001091883,0.00002481809,0.0002113608,0.0004546567,0.001027766,0.001779611],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003777626,"threshold_uncertainty_score":0.01587695,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01620822617878036,"score_gpt":0.2756031815261945,"score_spread":0.2593949553474141,"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."}}