Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli. A synthesis and optimization procedure for fully and easily testable sequential machines. IEEE Trans. on CAD of Integrated Circuits and Systems, 8(10):1100-1107, 1989. [doi]
@article{DevadasMNS89,
title = {A synthesis and optimization procedure for fully and easily testable sequential machines},
author = {Srinivas Devadas and Hi-Keung Tony Ma and A. Richard Newton and Alberto L. Sangiovanni-Vincentelli},
year = {1989},
doi = {10.1109/43.39071},
url = {http://doi.ieeecomputersociety.org/10.1109/43.39071},
tags = {optimization, testing},
researchr = {https://researchr.org/publication/DevadasMNS89},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {8},
number = {10},
pages = {1100-1107},
}