Sign in

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

Mohamed O. KayedMohamed AbdelsalamRafik Guindi
Published in: HLDVT (2016)
Keyphrases
  • file formats
  • lightweight
  • image reconstruction
  • formal analysis
  • generation method
  • multi objective
  • communication protocol