Applied formal verification /
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. . - McGraw-Hill electronic engineering series. .
Includes bibliographical references (p. 227-229) and index
007144372X 9780071443722
Electronic circuits--Testing.
Integrated circuits--Verification.
Applied formal verification / Douglas L. Perry, Harry D. Foster. - New York : McGraw-Hill, c2005. - xiv, 237 p. : ill. ; 24 cm. - McGraw-Hill electronic engineering. . - McGraw-Hill electronic engineering series. .
Includes bibliographical references (p. 227-229) and index
007144372X 9780071443722
Electronic circuits--Testing.
Integrated circuits--Verification.