• Applications of functional composition for CMOS and emerging technologies 

      Martins, Mayler Gama Alvarenga (2015) [Tesis]
      The advances in semiconductor industry over the last decades have been strongly based on continuous scaling down of dimensions in manufactured CMOS devices. The use of CMOS devices profoundly relies on AND/OR/Inverter ...
    • A domain-transformation approach to synthesize read-polarity-once boolean functions 

      Callegaro, Vinicius; Martins, Mayler Gama Alvarenga; Ribas, Renato Perez; Reis, Andre Inacio (2014) [Artículo de periódico]
      Efficient exact factoring algorithms are limited to read-once (RO) functions, where each variable appears exactly once at the final Boolean expression. However, these algorithms present two important constraints: (1) they ...
    • Funtional composition and applications 

      Martins, Mayler Gama Alvarenga (2012) [Tesis de maestría]
      This work presents functional composition (FC) as a new paradigm for combinational logic synthesis. FC is a bottom-up approach to synthesize Boolean functions, being able to evaluate the cost of intermediate sub-functions, ...