Next Generation Design For Testability, Debug and Reliability Using Formal Techniques.

Sebastian Huhn, Rolf Drechsler

Browse the full ITC paper archive.