Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker 0001. Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. In David Atienza, Giorgio Di Natale, editors, Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017. pages 422-427, IEEE, 2017. [doi]
Abstract is missing.