Login / Signup

Automatic Verification Stimulus Generation for Interface Protocols Modeled With Non-Deterministic Extended FSM.

Che-Hua ShihJuinn-Dar HuangJing-Yang Jou
Published in: IEEE Trans. Very Large Scale Integr. Syst. (2009)
Keyphrases
  • communication protocol
  • user interface
  • user friendly
  • neural network
  • finite state machines
  • direct manipulation
  • application level