Generating Hardware Assertion Checkers by Zeljko Zilic & Marc Boule