{"id":"W2137913189","doi":"10.1109/iscas.2004.1329364","title":"Assertion-based on-line verification and debug environment for complex hardware systems","year":2004,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Debugging; Assertion; Computer science; Line (geometry); Background debug mode interface; Embedded system; Computer hardware; Programming language; Computer architecture","routes":{"ca_aff":true,"ca_fund":true,"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.002179471,0.0007098422,0.0004253717,0.0004035606,0.000412362,0.001320075,0.001487408,0.0006256787,0.005678003],"category_scores_gemma":[0.003933447,0.0004105722,0.0004595908,0.0002217745,0.0008369659,0.002489102,0.001227535,0.00115485,0.001288586],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003062918,"about_ca_system_score_gemma":0.0006891559,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003761185,"about_ca_topic_score_gemma":0.000538751,"domain_scores_codex":[0.9982425,0.0007928928,0.0001355471,0.0001743316,0.000539176,0.0001155899],"domain_scores_gemma":[0.9970033,0.001652242,0.0002420377,0.0007364088,0.0002955688,0.00007056661],"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.001747468,0.0004095837,0.002784375,0.001266818,0.0001333747,0.0019695,0.00149397,0.1214848,0.1904027,0.3022375,0.01042022,0.3656496],"study_design_scores_gemma":[0.000314238,0.0008150916,0.0006732402,0.0001845725,0.00009273908,0.001069441,0.00009185613,0.7069908,0.1699554,0.04964818,0.07008004,0.00008444359],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007782124,0.00007125016,0.9868937,0.00004930758,0.00002107583,0.00004228745,0.00005072502,0.003959792,0.001129839],"genre_scores_gemma":[0.3295009,0.0002986109,0.6644333,0.0001433782,0.00004620227,0.0002585367,0.000347712,0.0008338179,0.00413765],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005678003,"threshold_uncertainty_score":0.01899481,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05934070786219833,"score_gpt":0.2800012684870923,"score_spread":0.220660560624894,"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."}}