|
Title:
|
SAT-based algorithms for internal cell routing in nanoelectronic circuits
|
|
Author:
|
Vidal Obiols, Alexandre
|
|
Other authors:
|
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. |
|
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica
-Electronic circuits
-Microelectronics
-Algorismia
-SAT
-VLSI
-Algorithmics
-SAT
-Circuits electrònics
-Microelectrònica |
|
Rights:
|
|
|
Document type:
|
Research/Master Thesis |
|
Published by:
|
Universitat Politècnica de Catalunya
|
|
Share:
|
|
