Constraint-based verification
著者
書誌事項
Constraint-based verification
Springer, c2006
注記
Includes bibliographical references (p. [231]-246) and index
HTTP:URL=http://www.loc.gov/catdir/enhancements/fy0663/2005936518-d.html Information=Publisher description
内容説明・目次
内容説明
Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.
It relates constrained verification with the also-hot technology called assertion-based design.
Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.
目次
Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving.
「Nielsen BookData」 より
