Login / Signup

Functional verification based on the EFSM model.

Franco FummiCristina MarconciniGraziano Pravadelli
Published in: HLDVT (2004)
Keyphrases
  • finite state machines
  • xml documents
  • signal processing