High-Level System Modeling
Specification Languages
Our rough guess is there are 40,500 words in this book.
At a pace averaging 250 words per minute, this book will take 2 hours and 42 minutes to read. With a half hour per day, this will take 6 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Contributions
- Levia, Oz - Contributor
- Rouillard, Jacques - Contributor
Publication
1995 - Springer US, Boston, MA, United States
Language
English
Word Count
40,500 words, Guess
Page Count
162 pages
Physical Format
Electronic resource
Identifiers
- Open LibraryOL27043456M
- Internet Archivehighlevelsystemm00sark
- ISBN-101461359732
- ISBN-101461523036
- ISBN-139781461359739
and 4 more
- ISBN-139781461523031
- OCLC Control Number852788511
- Better World Books9781461359739
- Better World Books9781461523031
Classifications
- DDC621.3815
- LCCTK7888.4
- LCCTK7888.4QA75.5-76.95
and 1 more
- LCCTK7867-7867.5
Description
The process of modeling hardware involves a certain duality: a model may specify and represent the desires and constraints of the designer, or it may imitate something that already exists, and can end in simulation or documentation. Surprisingly enough, one of the main qualities of a specification formalism is its ability to ignore issues that do not belong to this level. Such formalisms are obviously intended for the first stages of a design, but can also be used in the process of redesign. Having a proper level of description thus avoids two symmetric problems: Overspecification, which would introduce new instances of the hardware constraints that were only meaningful to the previous ones; Underspecification, which would lead to unnecessary work and sometimes to starting again from scratch. £/LIST£ 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. Audience: The essential update for researchers, design engineers and technical managers working in design automation and circuit design.
Subjects
Other Editions
- High-Level System Modeling: Specification Languages
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!