Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dirk Eisenbiegler, Christian Blumenröhr, Ramayya Kumar. Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL. In Joakim von Wright, Jim Grundy, John Harrison, editors, Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, Proceedings. Volume 1125 of Lecture Notes in Computer Science, pages 157-172, Springer, 1996.

This author has not been identified. Look up 'Dirk Eisenbiegler' in GoogleThis author has not been identified. Look up 'Christian Blumenröhr' in GoogleThis author has not been identified. Look up 'Ramayya Kumar' in Google

runs on WebDSL