METROC: A Metropolis Based Design Methodology Developed in a C++ Framework
D. Gasperini, A. Pinto and Alberto L. Sangiovanni-Vincentelli
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M05/6
January 2005
BibTeX citation:
@techreport{Gasperini:M05/6,
Author = {Gasperini, D. and Pinto, A. and Sangiovanni-Vincentelli, Alberto L.},
Title = {METROC: A Metropolis Based Design Methodology Developed in a C++ Framework},
Institution = {EECS Department, University of California, Berkeley},
Year = {2005},
Month = {Jan},
URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2005/4289.html},
Number = {UCB/ERL M05/6}
}
EndNote citation:
%0 Report %A Gasperini, D. %A Pinto, A. %A Sangiovanni-Vincentelli, Alberto L. %T METROC: A Metropolis Based Design Methodology Developed in a C++ Framework %I EECS Department, University of California, Berkeley %D 2005 %@ UCB/ERL M05/6 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/2005/4289.html %F Gasperini:M05/6