Tun Li, Yang Guo, Sikun Li. Assertion-based automated functional vectors generation using constraint logic programming. In David Garrett, John Lach, Charles A. Zukowski, editors, Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004. pages 288-291, ACM, 2004. [doi]
Abstract is missing.