Mohamed O. Kayed, Mohamed AbdElSalam, Rafik Guindi. Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.