Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler. Post-Verification Debugging of Hierarchical Designs. In Magdy S. Abadir, Li-C. Wang, editors, Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA. pages 42-47, IEEE Computer Society, 2005. [doi]
Abstract is missing.