A Synthesis and Optimization Procedure for Fully Testable Sequential Machines
S. Devadas, H-K. Tony Ma, A. Richard Newton and Alberto L. Sangiovanni-Vincentelli
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M88/14
1988
BibTeX citation:
@techreport{Devadas:M88/14,
Author = {Devadas, S. and Tony Ma, H-K. and Newton, A. Richard and Sangiovanni-Vincentelli, Alberto L.},
Title = {A Synthesis and Optimization Procedure for Fully Testable Sequential Machines},
Institution = {EECS Department, University of California, Berkeley},
Year = {1988},
URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1988/1008.html},
Number = {UCB/ERL M88/14}
}
EndNote citation:
%0 Report %A Devadas, S. %A Tony Ma, H-K. %A Newton, A. Richard %A Sangiovanni-Vincentelli, Alberto L. %T A Synthesis and Optimization Procedure for Fully Testable Sequential Machines %I EECS Department, University of California, Berkeley %D 1988 %@ UCB/ERL M88/14 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/1988/1008.html %F Devadas:M88/14