Specification, Synthesis and Verification of Hazard-Free Asynchronous Circuits

C.W. Moon, P.R. Stephan and Robert K. Brayton

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M91/67
August 1991

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/ERL-91-67.pdf


BibTeX citation:

@techreport{Moon:M91/67,
    Author = {Moon, C.W. and Stephan, P.R. and Brayton, Robert K.},
    Title = {Specification, Synthesis and Verification of Hazard-Free Asynchronous Circuits},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1991},
    Month = {Aug},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1791.html},
    Number = {UCB/ERL M91/67}
}

EndNote citation:

%0 Report
%A Moon, C.W.
%A Stephan, P.R.
%A Brayton, Robert K.
%T Specification, Synthesis and Verification of Hazard-Free Asynchronous Circuits
%I EECS Department, University of California, Berkeley
%D 1991
%@ UCB/ERL M91/67
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1791.html
%F Moon:M91/67