High-Level System Modeling
Subtitle: Specification Languages (Current Issues in Electronic Modeling)
Contributors: Jean-Michel Bergé (Editor); Oz Levia (Editor); Jacques Rouillard (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 30, 1995
Language: eng
Format: Hardcover
Number of pages: 176
ISBN-13: 9780792396321
Subjects: Applications of Computing; Systems analysis & design; Technology, Engineering, Agriculture, Veterinary Science; Technology; Electronics - Circuits - General; Computer Systems; Technology & Industrial Arts; System design; Computer Books: General; Science/Mathematics; Engineering - Electrical & Electronic; Hardware - Personal Computers - General; Technology / Electronics / Circuits / General; Computer hardware description; Computer hardware description languages
Description: 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.