FSM Decomposition and Functional Verification of FSM Networks

Zafar Hasan, Maciej J. Ciesielski. FSM Decomposition and Functional Verification of FSM Networks. VLSI Design, 3(3-4):249-265, 1995. [doi]

Abstract

Abstract is missing.