Login / Signup

FPgen - a test generation framework for datapath floating-point verification.

Merav AharoniSigal AsafLaurent FournierAnatoly KoyfmanRaviv Nagel
Published in: HLDVT (2003)
Keyphrases
  • test generation
  • floating point
  • symbolic execution
  • fixed point
  • test cases
  • artificial intelligence
  • database
  • reinforcement learning
  • multi agent systems
  • data model
  • design automation