Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda. A Survey of Formal Techniques for Hardware/Software Co-verification. In 7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, July 8-13, 2018. pages 125-128, IEEE, 2018. [doi]
Abstract is missing.