Sign in

A functional test generation technique for RTL datapaths.

Bijan AlizadehMasahiro Fujita
Published in: HLDVT (2012)
Keyphrases
  • test generation
  • test cases
  • symbolic execution
  • test sequences
  • design automation
  • static analysis
  • quality assurance
  • software testing
  • mutation testing
  • regression testing
  • model based diagnosis
  • data sets