Marc Boulé

1974

• Generating Hardware Assertion Checkers