Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats.