A Multi-Layer Area Routing Methodology Using a Boolean Satisfiability Based Router

Y. Jiang, S.P. Khatri, Alberto L. Sangiovanni-Vincentelli and Robert K. Brayton

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

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


BibTeX citation:

@techreport{Jiang:M99/16,
    Author = {Jiang, Y. and Khatri, S.P. and Sangiovanni-Vincentelli, Alberto L. and Brayton, Robert K.},
    Title = {A Multi-Layer Area Routing Methodology Using a Boolean Satisfiability Based Router},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1999},
    Month = {Mar},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3607.html},
    Number = {UCB/ERL M99/16}
}

EndNote citation:

%0 Report
%A Jiang, Y.
%A Khatri, S.P.
%A Sangiovanni-Vincentelli, Alberto L.
%A Brayton, Robert K.
%T A Multi-Layer Area Routing Methodology Using a Boolean Satisfiability Based Router
%I EECS Department, University of California, Berkeley
%D 1999
%@ UCB/ERL M99/16
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3607.html
%F Jiang:M99/16