Title: Generating Hardware Assertion Checkers
Subjects: Systems engineering, Engineering, Computer science, Integrated circuits, very large scale integration, Error analysis (mathematics), Electronic apparatus and appliances, testing, Integrated circuits, Very large scale integration, Computer-aided design, Verification, Error analysis (Mathematics)