{"id":"W2098552614","doi":"10.5555/1266366.1266621","title":"Abstraction and refinement techniques in automated design debugging","year":2007,"lang":"en","type":"article","venue":"Design, Automation, and Test in Europe","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University; University of Toronto","funders":"","keywords":"Debugging; Computer science; Abstraction; Benchmark (surveying); Bottleneck; Algorithmic program debugging; Programming language; Design flow; Computer engineering; Embedded system","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.009994213,0.001326105,0.001293752,0.002633967,0.0009155126,0.001625309,0.00251327,0.001376181,0.001890624],"category_scores_gemma":[0.0272463,0.001313195,0.001678452,0.002358892,0.003157782,0.005396146,0.003359421,0.003609158,0.0008106148],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001161525,"about_ca_system_score_gemma":0.001917816,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002779904,"about_ca_topic_score_gemma":0.002037314,"domain_scores_codex":[0.9887155,0.005580985,0.000788409,0.001116346,0.003247793,0.0005510337],"domain_scores_gemma":[0.97952,0.01210102,0.001442134,0.00525582,0.001493851,0.0001872754],"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.0002883532,0.00009708289,0.001642455,0.000748042,0.0001275194,0.0003845625,0.001240662,0.1390722,0.01218634,0.2963433,0.003164707,0.5447047],"study_design_scores_gemma":[0.000160448,0.0002615859,0.0006290282,0.0003900843,0.0001567708,0.0005438363,0.0001725446,0.5160164,0.02300036,0.4312332,0.02732004,0.0001156],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002018435,0.000573507,0.9960539,0.0001373597,0.00001554455,0.00004643434,0.00001517209,0.0006407095,0.0004987855],"genre_scores_gemma":[0.1137014,0.001287626,0.8834164,0.0001352687,0.00006213783,0.0001749344,0.0001043113,0.0001968879,0.0009211371],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009994213,"threshold_uncertainty_score":0.05285507,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02694322303125875,"score_gpt":0.2621097522173763,"score_spread":0.2351665291861175,"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."}}