Tun Li Yang Guo Sikun Li Assertion-based automated functional vectors generation using constraint logic programming. 288-291 2004 conf/glvlsi/2004 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/988952.989021 db/conf/glvlsi/glvlsi2004.html#LiGL04