Semiformal Verification of Software-Controlled Connections

Tomas Grimm, Djones Lettnin, Michael Hübner. Semiformal Verification of Software-Controlled Connections. In 2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017, Bochum, Germany, July 3-5, 2017. pages 556-561, IEEE, 2017. [doi]

Abstract

Abstract is missing.