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.
007144372X
Integrated circuits- Verification.
Electronic circuits- Testing.
621.3815
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.
007144372X
Integrated circuits- Verification.
Electronic circuits- Testing.
621.3815