Beruflich Dokumente
Kultur Dokumente
Logic Synthesis is the process of translating a design description written in vhdl / verilog HDL into gates from the technology library based on user specified optimization constraints.
4/16/2014
BALAJI, PROF,JNTUKUCEV
+ Mapping
HDL Source
Target Technology
4/16/2014
BALAJI, PROF,JNTUKUCEV
Logic Synthesis
Given
a Boolean network - a set of Boolean expressions and a target library
By optimizing
Boolean expressions by logic minimization procedures and
Map
the Boolean network onto an equivalent cell network
Binding
the nodes in the network to the gates in the target library
4/16/2014
BALAJI, PROF,JNTUKUCEV
S
Y N T E S I
Informal Description
translate
L
O W
4/16/2014 BALAJI, PROF,JNTUKUCEV
Mapping to gates
SYNTHESIS CONSTRAINTS
TECHNOLOGY LIBRARY
SYNTHESIS
netlist
4/16/2014 BALAJI, PROF,JNTUKUCEV 5
Optimization
Optimization is done at three intermediate levels in the synthesis converting HDL code to gate level net list
RTL (Register Transfer Level) Level optimization Logic Level optimization Gate Level optimization
4/16/2014
BALAJI, PROF,JNTUKUCEV
Flattening :is conversion of multiple boolean equations into a two level sum of products form. factoring is the process of adding intermediate terms
4/16/2014 BALAJI, PROF,JNTUKUCEV 8
OPTIMIZATION TECHNIQUE
* FLATTENING
A = B and C , B = Y or Z, C = Q or W after flattening A = (Y and Q) or (Y and W) or (Z and Q) or (Z and c) [removes two variables A,B]
* FACTORING
X = A and B or A and D Y= Z or Q after factoring X= A and Q Y = Z or Q
4/16/2014 BALAJI, PROF,JNTUKUCEV 9
where Q = B or D
NOTES:
Flattening :is conversion of multiple boolean equations into a two level sum of products form. Factoring is the process of adding intermediate terms AMONG THESE TWO, THE IDEAL CASE IS ONE WHICH CRITICAL PATH WAS FLATTEND FOR SPEED AND REST DESIGN FACTORED FOR SMALL AREA AND FANOUT
4/16/2014
BALAJI, PROF,JNTUKUCEV
10
4/16/2014
BALAJI, PROF,JNTUKUCEV
11
Technology Mapping
Map the Boolean factors to the cells of the library(tech library] Methods
Graph matching Tree matching Mapping based on string matching Layout driven technology mapping
4/16/2014
BALAJI, PROF,JNTUKUCEV
12
Constraints:
* Timing constraints * Area constraints * Power constraints
4/16/2014
BALAJI, PROF,JNTUKUCEV
13