Boolean decomposition for AIG optimization

Consultar RECERCAT

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/114892

Títol:	Boolean decomposition for AIG optimization
Autor/a:	Machado, Lucas; Cortadella, Jordi
Altres autors:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Abstract:	Restructuring techniques for And-Inverter Graphs (AIG), such as rewriting and refactoring, are powerful, scalable and fast, achieving highly optimized AIGs after few iterations. However, these techniques are biased by the original AIG structure and limited by single output optimizations. This paper investigates AIG optimization for area, exploring how far Boolean methods can reduce AIG nodes through local optimization.Boolean division is applied for multi-output functions using two-literal divisors and Boolean decomposition is introduced as a method for AIG optimization. Multi-output blocks are extracted from the AIG and optimized, achieving a further AIG node reduction of 7.76% on average for ITC99 and MCNC benchmarks.
Abstract:	Peer Reviewed
Matèries:	-Àrees temàtiques de la UPC::Enginyeria electrònica::Microelectrònica::Circuits integrats -Integrated circuits -- Very large scale integration -Boolean decomposition -AIG -KL-cuts -Local optimization -Circuits integrats a molt gran escala
Drets:
Tipus de document:	Article - Versió presentada Objecte de conferència
Publicat per:	Association for Computing Machinery (ACM)
Compartir:

Machado, Lucas; Roca Pérez, Antoni; Cortadella, Jordi

Machado, Lucas; Cortadella, Jordi

Machado, Lucas; Roca Pérez, Antoni; Cortadella, Jordi

Machado, Lucas; Roca Pérez, Antoni; Cortadella, Jordi

Machado, Lucas; Dal Bem, Vinicius; Moll Echeto, Francisco de Borja; Gómez Fernández, Sergio; Ribas, Renato P.; Reis, André Inacio

Coordinació

Patrocini