Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

by Karim Khordoc, Pierre Girodias, Bachir Berkane, et al.

Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. This may get worse because more complex systems are now constructed by (re)using Intellectual Property blocks developed by third parties. To verify such designs,...

• Format: Hardcover
• Language: English
• ISBN: 079238301X
• ISBN13: 9780792383017
• Release Date: October 1998
• Publisher: Springer
• Length: 211 Pages
• Weight: 1.11 lbs.
• Dimensions: 0.7" x 6.4" x 9.5"