Applied formal verification
Perry, Douglas L.
Applied formal verification [Book] / Douglas L. Perry, Harry D. Foster. - New York : McGraw-Hill, c2005. - xiv, 237 p. : ill. ; 24 cm. - Electronic engineering. .
Index includes
All.
007144372X (alk. paper)
Integrated circuits--Verification.
Electronic circuits--Testing.
621.3815
Applied formal verification [Book] / Douglas L. Perry, Harry D. Foster. - New York : McGraw-Hill, c2005. - xiv, 237 p. : ill. ; 24 cm. - Electronic engineering. .
Index includes
All.
007144372X (alk. paper)
Integrated circuits--Verification.
Electronic circuits--Testing.
621.3815