Login / Signup

Synthesizing Delay Insensitive Circuits from Verified Programs.

Henrik HulgaardPer H. ChristensenJørgen Staunstrup
Published in: Research Directions in High-Level Parallel Programming Languages (1991)
Keyphrases
  • delay insensitive
  • asynchronous circuits
  • low power
  • computer programs
  • data sets
  • databases
  • fixpoint
  • intermediate level
  • neural network
  • information retrieval
  • post processing
  • control structures