Síntese Lógica André Reis 2/49 SIM/EMICRO 2013 Porto Alegre, Brasil - Abril/2013 Outline 3/49 SIM/EMICRO 2013 Porto Alegre, Brasil - Abril/2013 O que é sintese lógica o É uma das etapas de síntese de circuitos integrados o Na qual tabelas-verdade são transformadas em instâncias de primitivas lógicas 4/49 SIM/EMICRO 2013 Porto Alegre, Brasil - Abril/2013 O que entra? o A entrada da síntese lógica é tipicamente uma descrição RTL o RTL=Register Transfer Level Registrador Circuito Combinacional
12
Embed
Síntese Lógica - UFRGS · Síntese Lógica André Reis SIM/EMICRO 2013 2/49 Porto Alegre, Brasil - Abril/2013 Outline SIM/EMICRO 2013 3/49 Porto Alegre, Brasil - Abril/2013 O que
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Síntese Lógica
André Reis
2/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
Outline
3/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
O que é sintese lógica
o É uma das etapas de síntese de circuitos integradoso Na qual tabelas-verdade são transformadas em instâncias de primitivas
lógicas
4/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
O que entra?
o A entrada da síntese lógica é tipicamente uma descrição RTLo RTL=Register Transfer Level
RegistradorCircuito
Combinacional
5/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
O que sai?
o Uma rede de primitivas lógicas interconnectadas
DFF DFF
DFFDFF
DFFDFF
6/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
O que entra e o que sai?
o Entra tabela verdadeo Sai rede de portas lógicas
7/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
O que acontece no meio?
o Muita coisao Síntese de SOP
o Fatoração
o Decomposição funcional
o Cortes em AIGs
o Reescrita de AIGs
o Cobertura de AIGs
o Mapeamento tecnológico
o Matching
o Síntese lógica dentro de células
8/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
O que se aprende?
o Método de Quine-McClusckey
9/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
O que se aprende?
o Fatoração algébrica
ac+bc+!abd
Fatora c: c(a+b)+!abd
Fatora b: ac+b(c+!ad)
10/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
Fatoração - 1
1-lit 2-lit 3-lit 4-lit 5-lit
11/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
Fatoração - 2
1-lit 2-lit 3-lit 4-lit 5-lit
or/and
12/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
Fatoração - 3
1-lit 2-lit 3-lit 4-lit 5-lit
or/and
13/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
Fatoração - 4
1-lit 2-lit 3-lit 4-lit 5-lit
or/and
14/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
Fatoração - 5
1-lit 2-lit 3-lit 4-lit 5-lit
or/and
15/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
Fatoração - 6
1-lit 2-lit 3-lit 4-lit 5-lit
or/and
16/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013
Fatoração - 7
1-lit 2-lit 3-lit 4-lit 5-lit
or/and
17/49SIM/EMICRO 2013Porto Alegre, Brasil - Abril/2013