A Survey of Formal Techniques for Hardware/Software Co-verification

Kun Liu; Weiqiang Kong; Gang Hou; Akira Fukuda

doi:10.1109/IIAI-AAI.2018.00033

Previous
Next
Table of Contents
Related Articles

2018 7th International Congress on Advanced Applied Informatics (IIAI-AAI)

A Survey of Formal Techniques for Hardware/Software Co-verification

Year: 2018, Pages: 125-128

DOI Bookmark: 10.1109/IIAI-AAI.2018.00033

Authors

Kun Liu, Sch. of Software, Dalian Univ. of Technol., Dalian, China
Weiqiang Kong, Sch. of Software, Dalian Univ. of Technol., Dalian, China
Gang Hou, Sch. of Software, Dalian Univ. of Technol., Dalian, China
Akira Fukuda, Grad. Sch. of IS&EE, Kyushu Univ., Fukuoka, Japan

A Survey of Formal Techniques for Hardware/Software Co-verification

Authors

Abstract