Finding and Fixing Faults (2005)

by S Staber, B Jobstmann, R Bloem
Venue:Correct Hardware Design and Verification Methods