Gregory Ford, Aswin Krishna, Jacob A. Abraham, Daniel G. Saab. Formal Verification ATPG Search Engine Emulator (Abstract Only). In George A. Constantinides, Deming Chen, editors, Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Monterey, CA, USA, February 22-24, 2015. pages 264, ACM, 2015. [doi]
Abstract is missing.