• KL-cut based remapping 

      Machado, Lucas (2013) [Dissertação]
      This work introduces the concept of k-cuts and kl-cuts on top of a mapped circuit in a netlist representation. Such new approach is derived from the concept of k-cuts and klcuts on top of AIGs (and inverter graphs), ...
    • 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”. ...