Formal verification of secure reconfigurable scan network infrastructure

Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich. Formal verification of secure reconfigurable scan network infrastructure. In 21th IEEE European Test Symposium, ETS 2016, Amsterdam, Netherlands, May 23-27, 2016. pages 1-6, IEEE, 2016. [doi]

Abstract

Abstract is missing.