Logic decomposition of incompletely specified functions

Consultar RECERCAT

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

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor.author	Cortadella, Jordi
dc.date	2001-06
dc.identifier.citation	Cortadella, J. "Logic decomposition of incompletely specified functions". 2001.
dc.identifier.uri	http://hdl.handle.net/2117/97856
dc.language.iso	eng
dc.relation	LSI-01-32-R
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica
dc.subject	Incompletely specified functions
dc.subject	ISFs
dc.subject	Logic decomposition
dc.subject	Incompletely specified diagrams
dc.subject	IDDs
dc.title	Logic decomposition of incompletely specified functions
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/report
dc.description.abstract	The logic decomposition of incompletely specified functions (ISFs) is studied. A theoretical support based on ternary algebras is provided. This support aims at the logic decomposition of ISFs. A partial order is defined on the ISFs determined by the definedness' of the functions, in which the completely specified functions are the maximal elements. The proposed methods aim at preserving the ISFs as undefined as possible during logic decomposition. Incompletely specified diagrams (IDDs) are proposed as a graph-based formalism to efficiently explore different decompositions.

Semenov, Alex; Yakovlev, Alex; Pastor Llorens, Enric; Peña Basurto, Marco Antonio; Cortadella, Jordi

Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Pastor Llorens, Enric; Yakovlev, Alex

Pastor Llorens, Enric; Cortadella, Jordi

Kondratyev, Alex; Cortadella, Jordi; Kishinevsky, Michael; Lavagno, Luciano; Taubin, Alexander; Yakovlev, Alex

Cortadella, Jordi

Coordinación

Patrocinio