Constraint-based verification
2006
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
79
References
70
Citations
NaN
KQI