Login / Signup

High-Level Synthesis of Digital Circuits by Finding Fixpoints.

Lakshmikanth GhatrajuMostafa I. H. Abd-El-BarrCarl McCrosky
Published in: EDAC-ETC-EUROASIC (1994)
Keyphrases
  • digital circuits
  • high level synthesis
  • data flow
  • deductive databases
  • model based diagnosis
  • finite state machines
  • parallel architecture
  • database
  • logic programs
  • circuit design
  • decision diagrams
  • hidden markov models