A Synthesis and Optimization Procedure for Fully Testable Sequential Machines
S. Devadas and Hi Keung Tony Ma and A. Richard Newton and Alberto L. Sangiovanni-Vincentelli
EECS Department, University of California, Berkeley
Technical Report No. UCB/ERL M88/14
, 1988
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/ERL-88-14.pdf
BibTeX citation:
@techreport{Devadas:M88/14, Author= {Devadas, S. and Ma, Hi Keung Tony and Newton, A. Richard and Sangiovanni-Vincentelli, Alberto L.}, Title= {A Synthesis and Optimization Procedure for Fully Testable Sequential Machines}, Year= {1988}, Month= {Feb}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/1008.html}, Number= {UCB/ERL M88/14}, }
EndNote citation:
%0 Report %A Devadas, S. %A Ma, Hi Keung Tony %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://www2.eecs.berkeley.edu/Pubs/TechRpts/1988/1008.html %F Devadas:M88/14