Formal hardware/software co-verification by interval property checking with abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. Formal hardware/software co-verification by interval property checking with abstraction. In Leon Stok, Nikil D. Dutt, Soha Hassoun, editors, Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011. pages 510-515, ACM, 2011. [doi]

This author has not been identified. Look up 'Minh D. Nguyen' in GoogleThis author has not been identified. Look up 'Markus Wedler' in GoogleThis author has not been identified. Look up 'Dominik Stoffel' in GoogleThis author has not been identified. Look up 'Wolfgang Kunz' in Google

runs on WebDSL