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

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...

Full description

Bibliographic Details

Main Author:	Cerny, E.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Berkane, B., Girodias, P., Khordoc, K.
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1998.
Subjects:	Engineering. Computer input-output equipment. Electronic data processing. Computer-aided design. Computer engineering. Systems engineering. Electronic books. Computers.
Online Access:	Connect to the full text of this electronic book