Efficient hierarchical system debugging for property checking (0)

by G Fey, R Drechsler
Venue:in Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2005