{"id":"W2121316343","doi":"10.1109/iccd.2006.4380831","title":"Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug","year":2006,"lang":"en","type":"article","venue":"Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Debugging; Emulation; Assertion; Computer science; Background debug mode interface; Hardware emulation; Embedded system; Computer architecture; Software bug; Programming language; Software; Field-programmable gate array; Psychology","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.003655389,0.001211308,0.0005258521,0.001775703,0.000373667,0.001223871,0.001892734,0.000849115,0.004368544],"category_scores_gemma":[0.02095746,0.0007500827,0.0008768101,0.0006805848,0.0007765368,0.004050256,0.001542544,0.002489496,0.001033849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004817766,"about_ca_system_score_gemma":0.0009472783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006805774,"about_ca_topic_score_gemma":0.001634916,"domain_scores_codex":[0.9965313,0.001215649,0.0003428764,0.0004205541,0.001246739,0.0002429029],"domain_scores_gemma":[0.9788586,0.01115623,0.001854864,0.005766503,0.002170675,0.0001931304],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0009595282,0.0004381754,0.01025046,0.0007080605,0.0001538874,0.001089771,0.000748218,0.0461598,0.1371804,0.1029768,0.008241559,0.6910934],"study_design_scores_gemma":[0.0002199308,0.0008892301,0.002829608,0.0002887618,0.0002693785,0.001965124,0.0001167374,0.492671,0.3918522,0.04156213,0.06717317,0.0001627644],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01061363,0.0001080327,0.9780548,0.0001351721,0.00009131803,0.00007277114,0.00005787415,0.009804926,0.001061494],"genre_scores_gemma":[0.2323751,0.0001722866,0.7626624,0.0002203484,0.0000932715,0.0001129492,0.0002670342,0.001572642,0.002523897],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004368544,"threshold_uncertainty_score":0.01933175,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.129129033224723,"score_gpt":0.3332414200988608,"score_spread":0.2041123868741377,"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."}}