Description: Scalable hardware verification with symbolic simulation/

Main Author:	Bertacco, Valeria
Format:	Book
Language:	English
Published:	New York: Springer, c2006
Subjects:	Integrated circuits > Verification

Physical Description:	xx, 180 p. : ill. ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	0387244115