Now showing items 1-6 of 6

    • Applications of functional composition for CMOS and emerging technologies 

      Martins, Mayler Gama Alvarenga (2015) [Thesis]
      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 ...
    • Exact multi-level benchmark circuit generation for logic synthesis evaluation 

      Lau Neto, Walter (2018) [Dissertation]
      Electronic design automation (EDA) tools provide a highly automated flow for integrated circuit (IC) design. This flow may be roughly divided into three main steps: high-level synthesis, logic synthesis and physical ...
    • Funtional composition and applications 

      Martins, Mayler Gama Alvarenga (2012) [Dissertation]
      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, ...
    • Graph-based algorithms for transistor count minimization in VLSI circuit EDA tools 

      Matos, Jody Maick Araujo de (2014) [Dissertation]
      This master’s thesis introduces a set of graph-based algorithms for obtaining reduced transistor count VLSI circuits using simple cells. These algorithms are mainly focused on minimizing node count in AIG representations ...
    • KL-cut based remapping 

      Machado, Lucas (2013) [Dissertation]
      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) [Thesis]
      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”. ...