Text this: Generating hardware assertion checkers :