Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/78267
|
Títol:
|
SAT-based algorithms for internal cell routing in nanoelectronic circuits
|
|
Autor/a:
|
Vidal Obiols, Alexandre
|
|
Altres autors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Cortadella, Jordi; Petit Silvestre, Jordi |
|
Abstract:
|
This thesis presents the extension of a routing framework for the internal routing of standard cells. We extend the original Boolean formulation and modify a SAT-solver to take advantage of the new variables. Our aim is to make big and complex cells become more tractable. |
|
Matèries:
|
-Àrees temàtiques de la UPC::Informàtica
-Electronic circuits
-Microelectronics
-Algorismia
-SAT
-VLSI
-Algorithmics
-SAT
-Circuits electrònics
-Microelectrònica |
|
Drets:
|
|
|
Tipus de document:
|
Treballs d'investigació/Fi de màster |
|
Publicat per:
|
Universitat Politècnica de Catalunya
|
|
Compartir:
|
|
Mostra el registre complet del document
