Title: Generating Hardware Assertion Checkers
Subjects: Integrated circuits, very large scale integration, Error analysis (mathematics)