Login / Signup

Combined Formal Post- and Presynthesis Verification in High Level Synthesis.

Thomas LockMichael MendlerMatthias Mutz
Published in: FMCAD (1998)
Keyphrases
  • high level synthesis
  • formal methods
  • model checking
  • formal analysis
  • formal model
  • real world
  • artificial intelligence
  • information systems
  • formal specification