Online Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post Fabrication Debugging And On Line Monitoring 2008