Creating Assertion-Based IP - Foster, Harry; Foster, Harry D.; Krolnik, Adam; Krolnik, Adam C. (Springer US, 2008)