Assertion-based automated functional vectors generation using constraint logic programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Tun Li' in GoogleThis author has not been identified. Look up 'Yang Guo' in GoogleThis author has not been identified. Look up 'Sikun Li' in Google

runs on WebDSL