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 |
Share
