Verification of timed circuits with failure directed abstractions (2003)

by H Zheng, C J Myers, D Walter, S Little, T Yoneda
Venue:In 21st International Conference on Computer Design (ICCD