DMCA

Verification of timed circuits with failure directed abstractions (2003)

by Hao Zheng , Chris J. Myers , Senior Member , David Walter , Student Member , Scott Little , Tomohiro Yoneda
Venue:In 21st International Conference on Computer Design (ICCD
Citations:7 - 4 self