Synchronous Equivalence for Embedded Systems: A Tool for Design Exploration

H. Hsieh, F. Balarin and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M99/1
January 1999

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/ERL-99-1.pdf

BibTeX citation:

@techreport{Hsieh:M99/1,
    Author = {Hsieh, H. and Balarin, F. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Synchronous Equivalence for Embedded Systems: A Tool for Design Exploration},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1999},
    Month = {Jan},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3565.html},
    Number = {UCB/ERL M99/1}
}

EndNote citation:

%0 Report
%A Hsieh, H.
%A Balarin, F.
%A Sangiovanni-Vincentelli, Alberto L.
%T Synchronous Equivalence for Embedded Systems: A Tool for Design Exploration
%I EECS Department, University of California, Berkeley
%D 1999
%@ UCB/ERL M99/1
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3565.html
%F Hsieh:M99/1