{"id":"W3150324789","doi":"10.1109/date.2007.364455","title":"Abstraction and Refinement Techniques in Automated Design Debugging","year":2007,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Abstraction; Bottleneck; Benchmark (surveying); 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006993043,0.00004905124,0.00004966753,0.0001195644,0.00004342974,0.00005143585,0.00009718039,0.0000260368,0.000003013965],"category_scores_gemma":[0.00002517294,0.00004398303,0.000006558731,0.0001890162,0.000007303312,0.0002107791,0.00003261881,0.00005362389,0.000003294652],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002949208,"about_ca_system_score_gemma":0.00001309666,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001117069,"about_ca_topic_score_gemma":0.00003381799,"domain_scores_codex":[0.9994839,0.00001243105,0.0001365055,0.0001439371,0.0000735193,0.0001497107],"domain_scores_gemma":[0.9997553,0.00007976226,0.00002995848,0.00008934274,0.00001592341,0.00002977226],"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":[1.901906e-7,0.00002584955,0.004030651,0.000006364227,0.000001976933,0.00004098202,0.0001832849,0.00005439951,0.02439454,0.00236102,0.0002085669,0.9686922],"study_design_scores_gemma":[0.0002816234,0.0001158441,0.1872197,0.0001208953,0.00000328482,0.0001146996,0.00007342305,0.660879,0.1472364,0.002853291,0.0007522355,0.0003495785],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0176815,0.00002735326,0.9742171,0.0001301702,0.00002404634,0.00006301812,1.864095e-8,0.001310579,0.006546243],"genre_scores_gemma":[0.9211955,0.000003399323,0.0786275,0.0001280586,0.00001069184,0.000002073783,1.666074e-7,0.000002148646,0.00003047013],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9683426,"threshold_uncertainty_score":0.1793576,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02740528702509835,"score_gpt":0.2792073637248832,"score_spread":0.2518020766997848,"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."}}