Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug