Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Roadmap for Formal Property VerificationTest Generation Games

A Roadmap for Formal Property Verification: Test Generation Games [There are several important issues in the frontier between simulation and FPV. Assuming that the future of design validation lies in the symbiotic coexistence of these two technologies, it is important to investigate how each may benefit the other. Our intention is to present some insights into this area, but before we proceed to do so, we must study the recent developments in simulation-based test environments.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Roadmap for Formal Property VerificationTest Generation Games

DasGupta, Pallab
Springer Journals — Jan 1, 2006
Download PDF
21 pages

Loading next page...
 
/lp/springer-journals/a-roadmap-for-formal-property-verification-test-generation-games-HTfJ0pt40N
Publisher
Springer Netherlands
Copyright
© Springer 2006
ISBN
978-1-4020-4757-2
Pages
195 –216
DOI
10.1007/978-1-4020-4758-9_7
Publisher site
See Chapter on Publisher Site

Abstract

[There are several important issues in the frontier between simulation and FPV. Assuming that the future of design validation lies in the symbiotic coexistence of these two technologies, it is important to investigate how each may benefit the other. Our intention is to present some insights into this area, but before we proceed to do so, we must study the recent developments in simulation-based test environments.]

Published: Jan 1, 2006

Keywords: Model Checker; Test Generation; Test Bench; Choice Point; Bibliographic Note

There are no references for this article.