Managing complexity in design debugging with sequential abstraction and refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brian Keng, Andreas G. Veneris. Managing complexity in design debugging with sequential abstraction and refinement. In Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, Yokohama, Japan, January 25-27, 2011. pages 479-484, IEEE, 2011. [doi]

This author has not been identified. Look up 'Brian Keng' in GoogleThis author has not been identified. Look up 'Andreas G. Veneris' in Google

runs on WebDSL