KL-cuts : a new approach for logic synthesis targeting multiple output blocks / KL-Cuts: uma nova abordagem para síntese lógica utilizando blocos com múltiplas saídas
AUTOR(ES)
Martinello Junior, Osvaldo
DATA DE PUBLICAÇÃO
2010
RESUMO
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 fases: síntese lógica e síntese física. Dentro de síntese lógica, um dos principais passos é o mapeamento tecnológico. Tradicionalmente, o processo de mapeamento tecnológico somente lida com funções de saída única, para a construção de circuitos. O objetivo deste método é explorar o uso de blocos de múltiplas saídas no mapeamento tecnológico. Para prover escalabilidade, o conceito de fatoração de cortes é estendido para os cortes KL. Algoritmos para enumerar esses cortes e também para enumerar alguns subconjuntos de cortes com características específicas são apresentados e os resultados são mostrados. Como exemplos de aplicações práticas, diferentes algoritmos de cobertura são propostos. O algoritmo guloso é uma alternativa simples e produz bons resultados em área, mas é muito restritivo, pois não é factível em mapeamento orientado à atraso. Outro algoritmo de cobertura apresentado é uma extensão do algoritmo de fluxo de área e permite a utilização de cortes com várias saídas, mantendo possível a consideração de outros custos. Um algoritmo de correspondência Booleana que é capaz de lidar com blocos com múltiplas saídas também é descrito. Isso permite a utilização de uma biblioteca padrão com células com mais de uma saída no mapeamento tecnológico. Os resultados mostram a viabilidade e utilidade do método.
ASSUNTO(S)
microeletronica aig cut enumeration 3d kl-cuts testes : circuitos integrados circuitos integrados logic design logic synthesis multiple output blocks technology mapping
ACESSO AO ARTIGO
http://hdl.handle.net/10183/26503Documentos Relacionados
- Multiple objective technology independent logic synthesis for multiple output functions through AIG functional composition
- Paraconsisted computation : a logic approach to quantum
- Synthesis of circuits with memory in multilevel logic
- RAY TRACING ANALYSIS OF THE EFFECTS OF PROPAGATION ON MULTIPLE-INPUT MULTIPLE-OUTPUT (MIMO) CHANNELS
- OPOSIÇÕES MÚLTIPLAS: ABORDAGEM CONTRASTIVA PARA SUJEITOS COM DESVIO FONOLÓGICO