Montek Singh, Steven M. Nowick. Synthesis for logical initializability of synchronous finite-state machines. IEEE Trans. VLSI Syst., 8(5):542-557, 2000. [doi]
@article{SinghN00,
title = {Synthesis for logical initializability of synchronous finite-state machines},
author = {Montek Singh and Steven M. Nowick},
year = {2000},
doi = {10.1109/92.894160},
url = {http://doi.ieeecomputersociety.org/10.1109/92.894160},
tags = {state machines},
researchr = {https://researchr.org/publication/SinghN00},
cites = {0},
citedby = {0},
journal = {IEEE Trans. VLSI Syst.},
volume = {8},
number = {5},
pages = {542-557},
}