Laurence Pierre, Martial Chabot: Assertion-Based Verification for SoC Models and Identification of Key Events. DSD 2017: 54-61