Assertion-Based Design
Foster, Harry.
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. - Second Edition. - Boston, MA : Springer Science + Business Media, Inc., 2005. - 1online resource (xxiii, 390 p.) : ill., digital ; 25 cm.
9781402080289 (electronic bk.) 9781402080272 (paper)
Integrated circuits--Very large scale integration--Design and construction.
Integrated circuits--Verification.
621.395
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. - Second Edition. - Boston, MA : Springer Science + Business Media, Inc., 2005. - 1online resource (xxiii, 390 p.) : ill., digital ; 25 cm.
9781402080289 (electronic bk.) 9781402080272 (paper)
Integrated circuits--Very large scale integration--Design and construction.
Integrated circuits--Verification.
621.395
