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

Mohamed O. Kayed Mohamed Abdelsalam Rafik Guindi

Published in: HLDVT (2016)

Keyphrases

file formats
lightweight
image reconstruction
formal analysis
generation method
multi objective
communication protocol