Creating Assertion-Based IP - Foster, Harry D. (Springer US, 2020)