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 VerificationIs My Specification Consistent?

A Roadmap for Formal Property Verification: Is My Specification Consistent? [We make mistakes while writing the RTL. What is the guarantee that we will not make mistakes while writing assertions?] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Roadmap for Formal Property VerificationIs My Specification Consistent?

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

Loading next page...
 
/lp/springer-journals/a-roadmap-for-formal-property-verification-is-my-specification-PsNP7Or6ph
Publisher
Springer Netherlands
Copyright
© Springer 2006
ISBN
978-1-4020-4757-2
Pages
101 –128
DOI
10.1007/978-1-4020-4758-9_4
Publisher site
See Chapter on Publisher Site

Abstract

[We make mistakes while writing the RTL. What is the guarantee that we will not make mistakes while writing assertions?]

Published: Jan 1, 2006

Keywords: Model Check; Winning Strategy; Boolean Formula; Propositional Formula; Design Intent

There are no references for this article.