Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli

Browse the full ITC paper archive.