Qinhao Wang, Yusuke Kimura, Masahiro Fujita. Methods of equivalence checking and ECO support under C-based design through reproduction of C descriptions from implementation designs. In 18th International Symposium on Quality Electronic Design, ISQED 2017, Santa Clara, CA, USA, March 14-15, 2017. pages 432-437, IEEE, 2017. [doi]
Abstract is missing.