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
1999
BibTeX citation:
@techreport{Jiang:M99/16,
Author = {Y. Jiang and S.P. Khatri and Alberto L. Sangiovanni-Vincentelli and Robert K. Brayton},
Title = {A Multi-Layer Area Routing Methodology Using a Boolean Satisfiability Based Router},
Institution = {EECS Department, University of California, Berkeley},
Year = {1999},
URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1999/3607.html %F Jiang:M99/16