Generating Hardware Assertion Checkers - Boulé, Marc; Boulé, Marc; Zilic, Zeljko (Springer Netherlands, 2008)