S. Devadas, Hi Keung Tony Ma, A. Richard Newton and Alberto L. Sangiovanni-Vincentelli
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M88/14
February 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}, Institution = {EECS Department, University of California, Berkeley}, 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