Creating Assertion-Based IP - Foster, Harry D. (Springer US : Imprint: Springer, 2008)