Laurence Pierre. A formal framework for testing with assertion checkers in mixed-signal simulation. In 19th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2012, Seville, Spain, December 9-12, 2012. pages 284-287, IEEE, 2012. [doi]
Abstract is missing.