Login / Signup

Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.

Giuseppe Di GuglielmoLuigi Di GuglielmoFranco FummiGraziano Pravadelli
Published in: J. Electron. Test. (2011)
Keyphrases
  • functional verification
  • image processing
  • object oriented
  • genetic programming
  • efficient implementation
  • finite state machines