{"id":"W2134886801","doi":"10.5555/1129601.1129724","title":"Post-verification debugging of hierarchical designs","year":2005,"lang":"en","type":"article","venue":"International Conference on Computer Aided Design","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Benchmark (surveying); Boolean satisfiability problem; Algorithmic program debugging; Exploit; Programming language; Computer engineering; Theoretical computer science","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.0004190863,0.0001703475,0.0001862807,0.0002753409,0.00008509992,0.0001986441,0.001399357,0.00006428502,0.0000693762],"category_scores_gemma":[0.00008308121,0.0001693347,0.00008473209,0.0001825285,0.00005621614,0.0005576782,0.000134735,0.0002010465,0.0001142781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007321846,"about_ca_system_score_gemma":0.0001899375,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001314909,"about_ca_topic_score_gemma":0.00000180916,"domain_scores_codex":[0.9982445,0.0001572423,0.0004194166,0.0004480874,0.0004939192,0.0002368529],"domain_scores_gemma":[0.9984885,0.000353467,0.0001935888,0.0003842494,0.0004811386,0.00009904185],"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.000006221029,0.0001451954,0.000119857,0.000005121156,0.00004160843,0.00001160066,0.0004333185,0.00586671,0.02175923,0.3357025,0.0003464713,0.6355622],"study_design_scores_gemma":[0.0003406565,0.0002294506,0.00174039,0.000094811,0.000004627837,0.00003482523,0.000006256208,0.9773183,0.01073383,0.009048474,0.0002379376,0.0002103857],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003254222,0.00001240418,0.9888709,0.003349066,0.0003587111,0.0001394748,0.000003902058,0.0001999776,0.003811308],"genre_scores_gemma":[0.8148353,0.000005667119,0.1839914,0.0008331867,0.0002355901,0.00001005822,0.000007113087,0.000008225615,0.00007350223],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9714516,"threshold_uncertainty_score":0.6905268,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1056795001799317,"score_gpt":0.3028347411936196,"score_spread":0.1971552410136879,"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."}}