Login / Signup

Enhancing FPGA Device Capabilities by the Automatic Logic Mapping to Additive Carry Chains.

Thomas B. PreußerRainer G. Spallek
Published in: FPL (2010)
Keyphrases
  • fpga device
  • multi valued
  • semi automatic
  • real time
  • neural network
  • general purpose
  • fully automatic
  • modal logic
  • logical framework
  • proof theory
  • higher order
  • logic programming
  • hardware implementation