Login / Signup

Methods of equivalence checking and ECO support under C-based design through reproduction of C descriptions from implementation designs.

Qinhao WangYusuke KimuraMasahiro Fujita
Published in: ISQED (2017)
Keyphrases