A Formal Framework for High Level Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Kropf, Klaus Schneider, Ramayya Kumar. A Formal Framework for High Level Synthesis. In Ramayya Kumar, Thomas Kropf, editors, Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD 94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings. Volume 901 of Lecture Notes in Computer Science, pages 223-238, Springer, 1994.

This author has not been identified. Look up 'Thomas Kropf' in GoogleThis author has not been identified. Look up 'Klaus Schneider' in GoogleThis author has not been identified. Look up 'Ramayya Kumar' in Google

runs on WebDSL