Correct Hardware Design and Verification Methods
Subtitle: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, ... (Lecture Notes in Computer Science)
Contributors: Laurence Pierre (Editor); Thomas Kropf (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 29, 1999
Language: eng
Format: Paperback
Number of pages: 366
ISBN-13: 9783540665595
Subjects: Computer architecture & logic design; General Theory of Computing; Systems management; Technology; General; Verification; Software Engineering; Very-Large-Scale Integration (Vlsi); Technology & Industrial Arts; Computer Books: General; Programming - Software Development; Hardware - Personal Computers - General; Electronics - Circuits - General; Computers / Personal Computers & Microcomputers / General; Correct Hardware Design; Formal Methods; Formal Verification; Specification Languages; Very large scale integration; Computer-aided design; Electronics - Circuits - VLSI; Congresses; Integrated circuits
First sentence: The increasing demand for dynamically controlled safety features, driving comfort and operational convenience in cars require an intensive use of Embedded Control Units (ECUs).