Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli. Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. In Proceedings International Test Conference 1988, Washington, D.C., USA, September 1988. pages 621-630, IEEE Computer Society, 1988.
Abstract is missing.