• Funtional composition and applications 

      Martins, Mayler Gama Alvarenga (2012) [Dissertação]
      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, ...
    • Logic synthesis for sequential material implication logic based on resistance switching devices 

      Marranghello, Felipe dos Santos (2017) [Tese]
      Dispositivos de resistência variável (RSD) são alternativas promissoras para a criação de memórias não voláteis (NVM). Estas memórias também podem influenciar o projeto de circuitos digitais através de “lógica em memória”. ...