Synchronous Equivalence
Subtitle: Formal Methods for Embedded Systems
Edition: 1 edition
Publisher: Springer
Published: January 15, 2001
Language: eng
Format: Hardcover
Number of pages: 136
ISBN-13: 9780792372622
Subjects: Computer aided design (CAD); Computer modelling & simulation; Systems analysis & design; Science/Mathematics; Computers - General Information; Computer Design; Formal Language Theory; Computers; Formal methods (Computer science); Formal methods (Computer scien; Embedded computer systems; Computer Engineering; Computer Science; Computers / Computer Engineering; Computers : Computer Science; Technology / Electronics / Circuits / General
First sentence: The POLIS codesign framework is a collection of related tools that help the designer to take behavioral specifications all the way down to actual implementations.