The Best of ICCAD
Subtitle: 20 Years of Excellence in Computer-Aided Design
Edition: 1 edition
Publisher: Springer
Published: March 31, 2003
Language: eng
Format: Hardcover
Number of pages: 736
ISBN-13: 9781402073915
Subjects: Applications of Computing; Computer aided design (CAD); History; Design and construction; Computers; Technology & Industrial Arts; Computer Books: General; Integrated circuits; Electronics - Circuits - General; Engineering - Electrical & Electronic; Logic Design; Technology / Electronics / Circuits / General; Congresses
First sentence: Functional hardware verification involves determining whether or not a logic design matches a specification of its intended behavior.