Combined Formal Post- and Presynthesis Verification in High Level Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Lock, Michael Mendler, Matthias Mutz. Combined Formal Post- and Presynthesis Verification in High Level Synthesis. In Ganesh Gopalakrishnan, Phillip J. Windley, editors, Formal Methods in Computer-Aided Design, Second International Conference, FMCAD 98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Volume 1522 of Lecture Notes in Computer Science, pages 222-236, Springer, 1998. [doi]

This author has not been identified. Look up 'Thomas Lock' in GoogleThis author has not been identified. Look up 'Michael Mendler' in GoogleThis author has not been identified. Look up 'Matthias Mutz' in Google

runs on WebDSL