Sean Safarpour, Andreas G. Veneris. Abstraction and Refinement Techniques in Automated Design Debugging. In Magdy S. Abadir, Li-C. Wang, Jayanta Bhadra, editors, Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), Common Challenges and Solutions, 4-5 December 2006, Austin, Texas, USA. pages 88-93, IEEE Computer Society, 2006. [doi]
Abstract is missing.