Sign in
FSM Decomposition and Functional Verification of FSM Networks.
Zafar Hasan
Maciej J. Ciesielski
Published in:
VLSI Design (1995)
Keyphrases
</>
finite state machines
functional verification
social networks
model checking