Mostra el registre d'ítem simple

SAT-based algorithms for internal cell routing in nanoelectronic circuits

dc.contributorCortadella, Jordi
dc.contributorPetit Silvestre, Jordi
dc.contributor.authorVidal Obiols, Alexandre
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2015-10-26T15:15:06Z
dc.date.available2015-10-26T15:15:06Z
dc.date.issued2015-10-15
dc.identifier.urihttp://hdl.handle.net/2117/78267
dc.description.abstractThis 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.
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.lcshElectronic circuits
dc.subject.lcshMicroelectronics
dc.subject.otherAlgorismia
dc.subject.otherSAT
dc.subject.otherVLSI
dc.subject.otherAlgorithmics
dc.subject.otherSAT
dc.titleSAT-based algorithms for internal cell routing in nanoelectronic circuits
dc.typeMaster thesis
dc.subject.lemacCircuits electrònics
dc.subject.lemacMicroelectrònica
dc.identifier.slug109499
dc.rights.accessOpen Access
dc.date.updated2015-10-23T04:00:48Z
dc.audience.educationlevelMàster
dc.audience.mediatorFacultat d'Informàtica de Barcelona
dc.audience.degreeMÀSTER UNIVERSITARI EN INNOVACIÓ I RECERCA EN INFORMÀTICA (Pla 2012)


Fitxers d'aquest items

Thumbnail
Nom:
109499.pdf
Mida:
3,787Mb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple