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
Integrated circuits--Verification.
Electronic circuits--Testing.
621.3815 / PEA 2005
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
Integrated circuits--Verification.
Electronic circuits--Testing.
621.3815 / PEA 2005