Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats | IEEE Conference Publication | IEEE Xplore