Symbolic Simulation Methods for Industrial Formal Verification
Edition: 1 edition
Publisher: Springer
Published: June 30, 2002
Language: eng
Format: Hardcover
Number of pages: 176
ISBN-13: 9781402071034
Subjects: General Theory of Computing; Technology; Formal Language Theory; Very-Large-Scale Integration (Vlsi); Verification; Technology & Industrial Arts; Science/Mathematics; Integrated circuits; Formal methods (Computer scien; Automation; Electronics - Circuits - VLSI; Engineering - Electrical & Electronic; Technology / Electronics / Circuits / General; Very large scale integration; Design and construction; Computer Science; Electronics - Digital; Formal methods (Computer science)
First sentence: Functional validation of complex hardware designs is an increasingly difficult problem.