Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
No Customer Reviews
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"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
