{"id":"W2091507826","doi":"10.1049/iet-cdt:20060209","title":"Debug enhancements in assertion-checker generation","year":2007,"lang":"en","type":"article","venue":"IET Computers & Digital Techniques","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Assertion; Debugging; Computer science; Background debug mode interface; Set (abstract data type); Overhead (engineering); Programming language; Algorithmic program debugging; Embedded system; Computer architecture","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.00600324,0.001199113,0.0006195511,0.001557444,0.0003907795,0.00152433,0.00235341,0.0011866,0.01003502],"category_scores_gemma":[0.0336039,0.0008180521,0.0008248436,0.0007722666,0.0006702569,0.003942002,0.001875682,0.001906959,0.002577578],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004465935,"about_ca_system_score_gemma":0.00109802,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007650542,"about_ca_topic_score_gemma":0.001409133,"domain_scores_codex":[0.9949961,0.00204958,0.0004745583,0.0006249957,0.001455692,0.0003990075],"domain_scores_gemma":[0.9686798,0.01673857,0.00117718,0.009978812,0.003134202,0.00029143],"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.003598583,0.0007986893,0.01743756,0.0008030588,0.0001624551,0.002367621,0.001372232,0.04450743,0.111559,0.06120304,0.01935371,0.7368366],"study_design_scores_gemma":[0.0006713366,0.001517887,0.003459963,0.000220885,0.0003248766,0.002954346,0.0002380996,0.5650336,0.3140382,0.03498568,0.07636829,0.0001868629],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04644214,0.0002393304,0.9066927,0.0004762982,0.0002757215,0.0003326796,0.0004106012,0.04017952,0.004950959],"genre_scores_gemma":[0.4097073,0.0001665915,0.5801618,0.0004491179,0.0001194627,0.0002194431,0.0008832403,0.003055153,0.005237894],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01003502,"threshold_uncertainty_score":0.03357047,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006455475369999442,"score_gpt":0.2303529738590217,"score_spread":0.2238974984890222,"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."}}