Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Scheibler, Karsten"'
Autor:
Seufert, Tobias, Winterer, Felix, Scholl, Christoph, Scheibler, Karsten, Paxian, Tobias, Becker, Bernd
In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existi
Externí odkaz:
http://arxiv.org/abs/2105.09169
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2016, p972-977, 6p
Autor:
Erb, Dominik, Scheibler, Karsten, Kochte, Michael A., Sauer, Matthias, Wunderlich, Hans-Joachim, Becker, Bernd
Publikováno v:
2016 21st Asia & South Pacific Design Automation Conference (ASP-DAC); 2016, p749-754, 6p
Publikováno v:
Hardware & Software: Verification & Testing (9783319490519); 2016, p186-201, 16p
Publikováno v:
2015 IEEE 33rd VLSI Test Symposium (VTS); 2015, p1-6, 6p
Publikováno v:
2014 IEEE 23rd Asian Test Symposium; 2014, p131-136, 6p
Autor:
Scheibler, Karsten, Becker, Bernd
Publikováno v:
2014 Formal Methods in Computer-Aided Design (FMCAD); 2014, p203-206, 4p
Publikováno v:
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE); 01/01/2014, p1-6, 6p
Autor:
Erb, Dominik, Scheibler, Karsten, Kochte, Michael A., Sauer, Matthias, Wunderlich, Hans-Joachim, Becker, Bernd
Publikováno v:
2014 International Test Conference; 2014, p1-10, 10p