ALIAS: analog circuits abstraction for digital systems verification

• Ano de defesa: 2015
• Autor(a) principal: Abner Luis Panho Marciano
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Minas Gerais; UFMG
• Palavras-chave em Português: Validação de circuitos; Verificação de circuitos; Abstração de circuitos analógicos; Circuitos integrados; Computação; Reconhecimento de padrões
• Link de acesso: http://hdl.handle.net/1843/ESBF-9WXGPD

The verification process of modern integrated circuits (ICs) is a complex and time-consuming task. This effort is increasingly being concentrated at the digital stages of the design flow, given its faster validation environments and higher level of abstraction. However, at digital levels, important analog components are usually either left out, poorly discretized or integrated with slow hybrid environments. This work presents ALIAS, short for analog logical-intent abstraction synthesizer, along with a new methodology for the creation of digital approximations for analog circuits, allowing the usage of such components at digital levels without the cost of hybrid settings. As a result, using various common analog circuits, abstractions synthesized using ALIAS demonstrated significant performance gains as well as a high level of accuracy.