{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003079105,0.0001222668,0.000143262,0.00007829548,0.0001019105,0.0001568675,0.0003058187,0.00006075773,0.000003507572],"category_scores_gemma":[0.00001806599,0.0001068898,0.00003498204,0.00007144576,0.00002310166,0.0001934013,0.00002730005,0.00004276002,0.00002269603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001433379,"about_ca_system_score_gemma":0.00003630127,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007114901,"about_ca_topic_score_gemma":0.000003523973,"domain_scores_codex":[0.9989885,0.00004532249,0.0002402659,0.0003565769,0.0002128613,0.0001564673],"domain_scores_gemma":[0.9991665,0.00009299188,0.00008832183,0.0005419182,0.00004214713,0.00006811407],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007285296,0.0007421578,0.0005687864,0.0005338108,0.00005744079,0.00001149008,0.0007060434,0.1462283,0.06661545,0.7591909,0.007690569,0.01758214],"study_design_scores_gemma":[0.0008812991,0.0006032239,0.0007463251,0.00009053534,0.000006386007,0.000007993942,0.00004214115,0.9601604,0.02618031,0.001889311,0.009107069,0.0002849655],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008342462,0.00004108913,0.9965761,0.0008465138,0.00008386892,0.000842713,0.00000597673,0.0004033533,0.0003661624],"genre_scores_gemma":[0.8002164,0.000003182223,0.1991282,0.0002431789,0.00003046357,0.0002493387,0.00001781188,0.000009572755,0.0001018496],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8139321,"threshold_uncertainty_score":0.4358841,"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."}}