Check nearby libraries
Buy this book

High-Level System Modeling: Specification Languages describes the state-of-the-art in specification formalisms in electronic design. The book provides an overview of object-oriented methodologies. It goes on to highlight several formalisms such as VSPEC, ESTELLE, SDL and LOTOS with methods that map their semantics to simulatable or synthesisable VHDL.
High-Level System Modeling: Specification Languages is the essential update for researchers, design engineers and technical managers working in design automation and circuit design.
Check nearby libraries
Buy this book

Previews available in: English
Edition | Availability |
---|---|
1
High-level system modeling: specification languages
1995, Kluwer Academic
in English
0792396324 9780792396321
|
aaaa
|
2
High-Level System Modeling: Specification Languages (Current Issues in Electronic Modeling)
September 30, 1995, Springer
Hardcover
in English
- 1 edition
0792396324 9780792396321
|
eeee
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
History
- Created April 1, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 31, 2019 | Edited by MARC Bot | associate edition with work OL18327182W |
April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
April 13, 2010 | Edited by bgimpertBot | Added goodreads ID. |
May 4, 2009 | Edited by ImportBot | Found a matching Library of Congress MARC record |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |