Assertion-Based Design - Foster, Harry; Krolnik, Adam.; Lacey, David; SpringerLink (Online service) (Boston, MA : Springer Science + Business Media, Inc., 2005)
Keywords: Integrated circuits -- Very large scale integration -- Design and construction; Integrated circuits -- Verification