Tong Zhang, Daniel G. Saab, Jacob A. Abraham. Automatic Assertion Generation for Simulation, Formal Verification and Emulation. In 2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017, Bochum, Germany, July 3-5, 2017. pages 471-476, IEEE, 2017. [doi]
Abstract is missing.