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 = {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},
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