Login / Signup

FSM Decomposition and Functional Verification of FSM Networks.

Zafar HasanMaciej J. Ciesielski
Published in: VLSI Design (1995)
Keyphrases
  • finite state machines
  • functional verification
  • social networks
  • model checking