{"id":"W2663453367","doi":"","title":"SAT-based Automated Design Debugging: Improvements and Application to Low-power Design","year":2012,"lang":"en","type":"dissertation","venue":"TSpace","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Toronto","keywords":"Debugging; Computer science; Embedded system; Computer architecture; Software engineering; Reliability engineering; Engineering; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001092037,0.0005010213,0.0004483723,0.0004303006,0.0001610147,0.0002584801,0.0009999172,0.0004389104,0.00001297267],"category_scores_gemma":[0.00007579153,0.0005140068,0.0000665652,0.000554549,0.00001970885,0.0003113521,0.00008478287,0.0002455556,0.0001914763],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002310518,"about_ca_system_score_gemma":0.000290096,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001468832,"about_ca_topic_score_gemma":0.00001519011,"domain_scores_codex":[0.9972537,0.0003282451,0.0004492746,0.0008605435,0.0005417332,0.0005665258],"domain_scores_gemma":[0.9976605,0.0002165772,0.0004338954,0.001149005,0.0002469427,0.0002930957],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0002667749,0.0004214898,0.0001069024,0.0009358292,0.0001967277,0.00002311124,0.01950466,0.001067108,0.878576,0.002805936,0.05181045,0.04428503],"study_design_scores_gemma":[0.0008025815,0.0007441498,0.002696947,0.0008359827,0.0001101407,0.00001146945,0.000331798,0.346716,0.6427897,0.0009899662,0.001972286,0.001999011],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001950633,0.0003358877,0.9898002,0.0001124327,0.0003638733,0.002951871,0.000001796013,0.003662716,0.0008206099],"genre_scores_gemma":[0.6234639,0.000004310654,0.3724251,0.0003038229,0.00005882439,0.001339204,0.00008276515,0.0001036774,0.002218416],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6215132,"threshold_uncertainty_score":0.9997311,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02071506285880437,"score_gpt":0.3279138502911708,"score_spread":0.3071987874323664,"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."}}