Home > Authors > Jean-Michel Bergé > High-level system modeling
High-level system modeling
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.
See on goodreads
Recent activity
Rate this book to see your activity here.
21 Books Similar to High-level system modeling by Jean-Michel Bergé
Bookscovery readers who liked High-level system modeling also like
Hardware/software co-design and co-verification, Meta-modeling and Model generation in electronic design.
How many of these have you read?
Comments and reviews of High-level system modeling
Please sign in to leave a comment