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

by Eduard Cerny, Pierre Girodias, Bachir Berkane

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: Paperback
• Language: English
• ISBN: 146137569X
• ISBN13: 9781461375692
• Release Date: October 2012
• Publisher: Springer
• Length: 211 Pages
• Weight: 0.73 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"