{"id":"W2078296499","doi":"10.1007/s10836-005-0335-9","title":"Incremental Design Debugging in a Logic Synthesis Environment","year":2005,"lang":"en","type":"article","venue":"Journal of Electronic Testing","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Programming language; Computer science; Algorithmic program debugging; Computer architecture; Arithmetic; Mathematics","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.001767058,0.0001331651,0.0002218528,0.0002268702,0.00009938858,0.00007806969,0.0006086886,0.00003681824,0.00001291654],"category_scores_gemma":[0.0008482524,0.0001197456,0.00006491804,0.0003320509,0.00001783572,0.000556131,0.00008390623,0.0004103866,0.00001191374],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000595878,"about_ca_system_score_gemma":0.0002773833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001037523,"about_ca_topic_score_gemma":0.000004898798,"domain_scores_codex":[0.99827,0.0001414285,0.0005371149,0.0001833929,0.0003073029,0.0005607217],"domain_scores_gemma":[0.9983976,0.0009280042,0.0004121703,0.0001482852,0.00003591105,0.00007806029],"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.00000168294,0.0001679885,0.009531537,0.000009003797,0.00003210461,0.000150549,0.0002909576,0.1004702,0.02453932,0.001612166,0.00004339778,0.8631511],"study_design_scores_gemma":[0.0009601582,0.0008054235,0.01006131,0.000529511,0.00004859266,0.00296236,0.00008230953,0.9621966,0.01211355,0.009289083,0.000398656,0.0005524624],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1531018,0.001771916,0.8431181,0.00109027,0.00004687392,0.0001001106,1.097326e-7,0.00006686211,0.0007039623],"genre_scores_gemma":[0.9216311,0.0000101243,0.07802958,0.0001635834,0.0001487623,0.000002861248,3.068274e-8,0.000008627694,0.000005344967],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8625987,"threshold_uncertainty_score":0.4883083,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03815471650241003,"score_gpt":0.2327388080850663,"score_spread":0.1945840915826563,"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."}}