Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method presents a description methodology that was inspired by Timing Diagrams and Process Algebras, the so-called Hierarchical Annotated Diagrams. It is suitable for specifying systems with complex interface behaviors that govern the global system behavior. A HADD specification can be converted into a behavioral real-time model in VHDL and used to verify the surrounding logic, such as interface transducers. Also, function can be conservatively abstracted away and the interactions between interconnected devices can be verified using Constraint Logic Programming based on Relational Interval Arithmetic.
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method is ofinterest to readers who are involved in defining methods and tools for system-level design specification and verification. The techniques for interface compatibility verification can be used by practicing designers, without any more sophisticated tool than a calculator.
Authors and Affiliations
Bibliographic Information
Book Title: Hierarchical Annotated Action Diagrams
Book Subtitle: An Interface-Oriented Specification and Verification Method
Authors: E. Cerny, B. Berkane, P. Girodias, K. Khordoc
DOI: https://doi.org/10.1007/978-1-4615-5615-2
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1998
Hardcover ISBN: 978-0-7923-8301-7Published: 31 October 1998
Softcover ISBN: 978-1-4613-7569-2Published: 12 October 2012
eBook ISBN: 978-1-4615-5615-2Published: 06 December 2012
Edition Number: 1
Number of Pages: XVI, 211
Topics: Circuits and Systems, Artificial Intelligence, Computer Hardware, Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering