Applied Assertion-Based Verification: An Industry Perspective - Foster (IEEE)
Keywords: "Computing and Processing; Components, Circuits, Devices and Systems; General Topics for Engineers"