Synthesis of Verifiably Hazard-Free Asynchronous Control Circuits

L. Lavagno, Kurt Keutzer and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M90/99
November 1990

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/ERL-90-99.pdf

BibTeX citation:

@techreport{Lavagno:M90/99,
    Author = {Lavagno, L. and Keutzer, Kurt and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Synthesis of Verifiably Hazard-Free Asynchronous Control Circuits},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1990},
    Month = {Nov},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1618.html},
    Number = {UCB/ERL M90/99}
}

EndNote citation:

%0 Report
%A Lavagno, L.
%A Keutzer, Kurt
%A Sangiovanni-Vincentelli, Alberto L.
%T Synthesis of Verifiably Hazard-Free Asynchronous Control Circuits
%I EECS Department, University of California, Berkeley
%D 1990
%@ UCB/ERL M90/99
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1618.html
%F Lavagno:M90/99