Bahram N. Uchevler, Kjetil Svarstad. Synthesizable assertion checkers in high levels of abstraction. In 20th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2013, Abu Dhabi, December 8-11, 2013. pages 859-864, IEEE, 2013. [doi]
Abstract is missing.