MYGEN: automata-based on-line test generator for assertion-based verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boule, Zeljko Zilic. MYGEN: automata-based on-line test generator for assertion-based verification. In Fabrizio Lombardi, Sanjukta Bhanja, Yehia Massoud, R. Iris Bahar, editors, Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009. pages 75-80, ACM, 2009. [doi]

This author has not been identified. Look up 'Yann Oddos' in GoogleThis author has not been identified. Look up 'Katell Morin-Allory' in GoogleThis author has not been identified. Look up 'Dominique Borrione' in GoogleThis author has not been identified. Look up 'Marc Boule' in GoogleThis author has not been identified. Look up 'Zeljko Zilic' in Google

runs on WebDSL