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]
No references recorded for this publication.
No citations of this publication recorded.