Synthesis for logical initializability of synchronous finite-state machines

Montek Singh, Steven M. Nowick. Synthesis for logical initializability of synchronous finite-state machines. IEEE Trans. VLSI Syst., 8(5):542-557, 2000. [doi]

Abstract

Abstract is missing.