Design error diagnosis in sequential circuits (1995)

by A Wahba, D Borrione
Venue:In Proc. Correct Hardware Design and Verification Methods, CHARME’95, number 987 in Lecture Notes in Computer Science