Login / Signup

Provably Correct Development of reconfigurable hardware designs via equational reasoning.

Ian GravesAdam M. ProcterWilliam L. HarrisonGerard Allwein
Published in: FPT (2015)
Keyphrases
  • provably correct
  • hardware designs
  • case study
  • general purpose
  • software engineering
  • low cost
  • knowledge based systems
  • computer vision
  • expert systems
  • distributed systems
  • situation calculus
  • formal methods