Matthias Sauer
Matthias Sauer
Verified email at informatik.uni-freiburg.de - Homepage
TitleCited byYear
Small-delay-fault ATPG with waveform accuracy
M Sauer, A Czutro, I Polian, B Becker
Proceedings of the International Conference on Computer-Aided Design, 30-36, 2012
492012
Equivalence checking of partial designs using dependency quantified Boolean formulae
K Gitina, S Reimer, M Sauer, R Wimmer, C Scholl, B Becker
2013 IEEE 31st International Conference on Computer Design (ICCD), 396-403, 2013
292013
Efficient SAT-based search for longest sensitisable paths
M Sauer, J Jiang, A Czutro, I Polian, B Becker
2011 Asian Test Symposium, 108-113, 2011
292011
Solving DQBF through quantifier elimination
K Gitina, R Wimmer, S Reimer, M Sauer, C Scholl, B Becker
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE†…, 2015
262015
Functional test of small-delay faults using SAT and Craig interpolation
M Sauer, S Kupferschmid, A Czutro, I Polian, S Reddy, B Becker
2012 IEEE International Test Conference, 1-8, 2012
222012
A flexible framework for the automatic generation of sbst programs
A Riefert, R Cantoro, M Sauer, MS Reorda, B Becker
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 24 (10†…, 2016
202016
An effective approach to automatic functional processor test generation for small-delay faults
A Riefert, L Ciganda, M Sauer, P Bernardi, MS Reorda, B Becker
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
202014
SAT-based analysis of sensitisable paths
M Sauer, A Czutro, T Schubert, S Hillebrecht, I Polian, B Becker
14th IEEE International Symposium on Design and Diagnostics of Electronic†…, 2011
202011
Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths
M Sauer, S Reimer, T Schubert, I Polian, B Becker
Proceedings of the Conference on Design, Automation and Test in Europe, 448-453, 2013
172013
On the automatic generation of SBST test programs for in-field test
A Riefert, R Cantoro, M Sauer, MS Reorda, B Becker
Proceedings of the 2015 Design, Automation & Test in Europe Conference†…, 2015
162015
Provably Optimal Test Cube Generation using Quantified Boolean Formula Solving
M Sauer, S Reimer, I Polian, T Schubert, B Becker
Asia and South Pacific Design Automation Conference (ASP-DAC), 2013
162013
SAT-ATPG using preferences for improved detection of complex defect mechanisms
A Czutro, M Sauer, T Schubert, I Polian, B Becker
2012 IEEE 30th VLSI Test Symposium (VTS), 170-175, 2012
162012
On the optimality of K longest path generation algorithm under memory constraints
J Jiang, M Sauer, A Czutro, B Becker, I Polian
Proceedings of the Conference on Design, Automation and Test in Europe, 418-423, 2012
162012
Efficient SMT-based ATPG for interconnect open defects
D Erb, K Scheibler, M Sauer, B Becker
Proceedings of the conference on Design, Automation & Test in Europe, 125, 2014
152014
Formal verification of secure reconfigurable scan network infrastructure
MA Kochte, R Baranowski, M Sauer, B Becker, HJ Wunderlich
2016 21th IEEE European Test Symposium (ETS), 1-6, 2016
142016
Multi-conditional SAT-ATPG for power-droop testing
A Czutro, M Sauer, I Polian, B Becker
2012 17th IEEE European Test Symposium (ETS), 1-6, 2012
142012
Specification and verification of security in reconfigurable scan networks
MA Kochte, M Sauer, LR Gomez, P Raiola, B Becker, HJ Wunderlich
2017 22nd IEEE European Test Symposium (ETS), 1-6, 2017
132017
Identification of high power consuming areas with gate type and logic level information
K Miyase, M Sauer, B Becker, X Wen, S Kajihara
2015 20th IEEE European Test Symposium (ETS), 1-6, 2015
132015
Variation-Aware Fault Grading
A Czutro, ME Imhof, J Jiang, A Mumtaz, M Sauer, B Becker, I Polian, ...
132012
PHAETON: A SAT-based framework for timing-aware path sensitization
M Sauer, B Becker, I Polian
IEEE Transactions on Computers 65 (6), 1869-1881, 2015
122015
The system can't perform the operation now. Try again later.
Articles 1–20