{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002622098,0.0006302903,0.0005448498,0.0008677221,0.0004528066,0.0006610104,0.00119012,0.0005573603,0.002789937],"category_scores_gemma":[0.007879614,0.000357619,0.0004992927,0.0004053935,0.0006678235,0.001290891,0.0009605957,0.0006940415,0.0004597689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005985022,"about_ca_system_score_gemma":0.001175242,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001061681,"about_ca_topic_score_gemma":0.002109756,"domain_scores_codex":[0.9971047,0.001196197,0.000140387,0.000333586,0.0009812504,0.0002439399],"domain_scores_gemma":[0.9925591,0.003256029,0.0008578661,0.002228712,0.0009948442,0.0001034486],"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.0007833767,0.0001593352,0.004999316,0.0004621671,0.00007471671,0.0009974473,0.0006413209,0.1924526,0.1237807,0.0616115,0.002732585,0.611305],"study_design_scores_gemma":[0.00007204083,0.00050217,0.001819019,0.00008188996,0.00005894331,0.0005319159,0.0001001079,0.7717821,0.185363,0.03166677,0.007984649,0.00003737258],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0495037,0.0002076688,0.9462618,0.00006871783,0.00002253612,0.00006846579,0.00006872773,0.002483698,0.001314714],"genre_scores_gemma":[0.5957246,0.0001161277,0.4020742,0.0000469875,0.00001406998,0.00005530798,0.000171606,0.0001768555,0.00162032],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002789937,"threshold_uncertainty_score":0.01386714,"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."}}