Perry, Douglas L. Applied formal verification / Douglas L. Perry, Harry D. Foster. - New York : McGraw-Hill, c2005. - xiv, 237 p. : ill. ; 24 cm. - McGraw-Hill electronic engineering. . Includes bibliographical references (p. 227-229) and index. ISBN: 007144372X Subjects--Topical Terms: Integrated circuits- Verification.Electronic circuits- Testing. Dewey Class. No.: 621.3815