Browsing Computation by Subject "Technology mapping"
Now showing items 1-6 of 6
-
Exploração de reordenamento de ROBDDs no mapeamento tecnológico de circuitos integrados
(2007) [Dissertation]Os ROBDDs são estruturas utilizadas com sucesso em ferramentas de CAD para microeletrônica. Estas estruturas permitem a representação canônica de funções booleanas ao se estabelecer um ordenamento fixo de variáveis. No ... -
Graph based algorithms to efficiently map VLSI circuits with simple cells
(2018) [Thesis]This thesis introduces a set of graph-based algorithms for efficiently mapping VLSI circuits using simple cells. The proposed algorithms are concerned to, first, effectively minimize the number of logic elements implementing ... -
KL-cuts : a new approach for logic synthesis targeting multiple output blocks
(2010) [Dissertation]Esta dissertação introduz o conceito de cortes KL, o que permite controlar tanto o número K de entradas como o número L de saídas em uma região de um circuito. O projeto de um circuito digital pode ser dividido em duas ... -
Multiple objective technology independent logic synthesis for multiple output functions through AIG functional composition
(2010) [Dissertation]O emprego de ferramentas de automação de projetos de circuitos integrados permitiu que projetos complexos atingissem time-to-market e custos de produção factíveis. Neste contexto, o processo de síntese lógica é uma etapa ... -
Technology mapping for virtual libraries based on cells with minimal transistor stacks
(2008) [Thesis]Atualmente, as tecnologias disponíveis para a fabricação de dispositivos eletrônicos permitem um alto grau de integração de semicondutores. Entretanto, esta integração torna o projeto, a verificação e o teste de circuitos ... -
Thereshold logic technology mapping for emerging nanotechnologies
(2017) [Thesis]Threshold logic is a powerful alternative paradigm for realizing Boolean functions in digital circuit design. A threshold logic function (TLF) can be roughly defined as a Boolean function in which the output is evaluated ...