SAT-based algorithms for internal cell routing in nanoelectronic circuits

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/78267

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Cortadella, Jordi
dc.contributor	Petit Silvestre, Jordi
dc.contributor.author	Vidal Obiols, Alexandre
dc.date	2015-10-15
dc.identifier.citation	109499
dc.identifier.uri	http://hdl.handle.net/2117/78267
dc.language.iso	eng
dc.publisher	Universitat Politècnica de Catalunya
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica
dc.subject	Electronic circuits
dc.subject	Microelectronics
dc.subject	Algorismia
dc.subject	SAT
dc.subject	VLSI
dc.subject	Algorithmics
dc.subject	SAT
dc.subject	Circuits electrònics
dc.subject	Microelectrònica
dc.title	SAT-based algorithms for internal cell routing in nanoelectronic circuits
dc.type	info:eu-repo/semantics/masterThesis
dc.description.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.

Vidal Obiols, Alexandre; Cortadella, Jordi; Petit Silvestre, Jordi; Galcerán Oms, Marc; Martorell Cid, Ferran

Vidal Obiols, Alexandre

Vidal Obiols, Alexandre; Cortadella, Jordi; Petit Silvestre, Jordi

Coordinación

Patrocinio