Hierarchical Annotated Action Diagrams
Subtitle: An Interface-Oriented Specification and Verification Method
Edition: 1 edition
Publisher: Springer
Published: October 31, 1998
Language: eng
Format: Hardcover
Number of pages: 232
ISBN-13: 9780792383017
Subjects: Systems analysis & design; Mathematics; Computers; Computer Engineering; Programming Languages - General; Computer Mathematics; Digital Computer Hardware; Design and construction; Computers - General Information; Computer input-output equipment; Computer Books: General; Computer input-output equipmen; Computer Science; Hardware - Personal Computers - General; Computers / Computer Engineering; Computers : Computer Science; Computers : Hardware - Personal Computers - General; Technology / Electronics / Circuits / General; Charts, diagrams, etc; Computer Bks - General Information
First sentence: The rapid and continuing increase in the complexity of microelectronics systems and the degree of integration of complete systems on one silicon chip (SoC) make their design process very difficult.