Logic synthesis of assertions for saftey-critical applications

Matthias Wenzl, Christian Fibich, Peter Rössler, Herbert Taucher, Martin Matschnig. Logic synthesis of assertions for saftey-critical applications. In IEEE International Conference on Industrial Technology, ICIT 2015, Seville, Spain, March 17-19, 2015. pages 1581-1586, IEEE, 2015. [doi]

Abstract

Abstract is missing.