Using a formal specification and a model checker to monitor and direct simulation.
Serdar Tasiran, Yuan Yu, and Brannon Batson
June 2003
In: Proceedings of the 40th Design Automation Conference (DAC)
Publisher: ACM
Details
| Type: | Inproceedings |
| URL: | http://doi.acm.org/10.1145/775926 |
| Pages: | 356-361 |
| Address: | Anaheim, CA, USA |
©2009 Microsoft Corporation. All rights reserved.