DMCA

High Quality Behavioral Verification Using Statistical Stopping Criteria (2001)

Cached

Download Links

by Amjad Hajjar Tom , Tom Chen , Isabelle Munn , Anneliese Andrews , Maria Bjorkman
Venue:In Proceedings of the 2001 Design, Automation and Test in Europe Conference (DATE