Login / Signup

Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL.

Dirk EisenbieglerChristian BlumenröhrRamayya Kumar
Published in: TPHOLs (1996)
Keyphrases
  • implementation issues
  • data structure
  • computational complexity
  • higher order