Creating Assertion-Based IP - Foster, Harry D. (Integrated Circuits and Systems,, 2008)