Generating Hardware Assertion Checkers door Zeljko Zilic & Marc Boule