Creating Assertion-Based IP - Foster, Harry D.; Krolnik, Adam C.; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, LLC, 2008)
Keywords: Integrated circuits -- Verification