Assertion-Based Verification for SoC Models and Identification of Key Events.

Laurence Pierre, Martial Chabot

Browse the full DSD paper archive.