Assertion-Based Verification for SoC Models and Identification of Key Events | IEEE Conference Publication | IEEE Xplore