05/04/06 1 Integrating Logic Synthesis, Tech mapping and Retiming Presented by Atchuthan Perinkulam Based on the above paper by A. Mishchenko et al, UCAL Berkeley.

05/04/06 2 Overview Review of individual concepts. Review of individual concepts. Contributions of the paper Contributions of the paper Review of terms used in the paper. Review of terms used in the paper. A faster technique of reading/drawing AIG’s (let’s call it my contribution ☻) A faster technique of reading/drawing AIG’s (let’s call it my contribution ☻) Combining tech mapping, retiming and synthesis ->lead to the final design Combining tech mapping, retiming and synthesis ->lead to the final design High level overview (Summary) High level overview (Summary) Experimental results Experimental results Questions.. Questions.. More details (if we have time & you aren’t bored already) More details (if we have time & you aren’t bored already)

05/04/06 3 The story so far…. Logic Synthesis ? Logic Synthesis ? Algorithmic descriptions -> Design for electronic H/W. Algorithmic descriptions -> Design for electronic H/W. Tech Mapping ? Tech Mapping ? Select gates from standard libraries to implement circuit Select gates from standard libraries to implement circuit Retiming ? Retiming ? Play around (move) registers -> clock cycle / no of reg. decreases Play around (move) registers -> clock cycle / no of reg. decreases I/O relation is preserved. I/O relation is preserved.

05/04/06 4 Contributions of the paper Global optimization as opposed to local individual performance improvement. Global optimization as opposed to local individual performance improvement. Triple Integration: Synthesis/mapping/retiming Triple Integration: Synthesis/mapping/retiming Applicability: Standard cells and FPGA’s Applicability: Standard cells and FPGA’s Efficiency: Highly scalable, 100k+ gate circuits in about a minute. Efficiency: Highly scalable, 100k+ gate circuits in about a minute. Limited to single clock domain and D FF’s, scope for extension. Limited to single clock domain and D FF’s, scope for extension.

05/04/06 5 A quick review of terms Boolean n/w -> DAG with nodes = gates, edges = wires Boolean n/w -> DAG with nodes = gates, edges = wires AIG -> Only 2 I/P AND gates and inverters AIG -> Only 2 I/P AND gates and inverters Node, fanin, fanout, Primary I/O’s, transitive fanin & fanout, level of node. Node, fanin, fanout, Primary I/O’s, transitive fanin & fanout, level of node. If circuit is sequential, then memory elements are D FF’s with initial states. If circuit is sequential, then memory elements are D FF’s with initial states. Load independent delay model for standard cells. Load independent delay model for standard cells.

05/04/06 6 A quick review of terms A cut C of node n is a set of nodes of the network, called leaves, such that each path from a PI to n passes through at least one leaf. A trivial cut of the node is the cut composed of the node itself. A cut is K-feasible if it has K leaves or less. The area and delay of an FPGA mapping is measured by the number of LUTs and the number of LUT levels respectively. The delay of a standard cell mapping is computed using pin-to-pin delays of gates assigned to implement a cut. The load-independent timing model is assumed throughout the paper.

05/04/06 7 Faster way of reading AIG’s OR

05/04/06 8 Tech mapping is the core procedure in this triple integration!! (Steps) Prepare the ckt for mapping, by deriving a balanced AIG (use transforms, a(bc) = (ab)c. Prepare the ckt for mapping, by deriving a balanced AIG (use transforms, a(bc) = (ab)c. Compute K-feasible cuts. Compute K-feasible cuts. Compute Boolean functions of the cuts. Compute Boolean functions of the cuts. Match the cuts with LUTS( FPGAs) or gates Match the cuts with LUTS( FPGAs) or gates Assign delay optimal matches at each node. Assign delay optimal matches at each node. Look for the best area match and choose the final mapping in reverse topological order Look for the best area match and choose the final mapping in reverse topological order

05/04/06 9 Combining mapping with retiming For sequential ckts, use the same concepts as Combinational circuits, except that you consider registers as labels(weights) on the edges. For sequential ckts, use the same concepts as Combinational circuits, except that you consider registers as labels(weights) on the edges. DAG is now a cyclic circuit(sequential mapping) DAG is now a cyclic circuit(sequential mapping) So, arrival time measures have to account for labels So, arrival time measures have to account for labels Computation of arrival times has to be done by iterating over the circuit. Computation of arrival times has to be done by iterating over the circuit. Resulting mapping has retiming associated with it. Resulting mapping has retiming associated with it.

05/04/06 10 Combining mapping with synthesis Derive and store MULTIPLE logic structures for the circuit, and finally choose the best one from them. Why ? Derive and store MULTIPLE logic structures for the circuit, and finally choose the best one from them. Why ? Tech independent mapping is heuristic, may produce a sub-optimal network for the given library. A better match may have been discarded earlier. Tech independent mapping is heuristic, may produce a sub-optimal network for the given library. A better match may have been discarded earlier. Synthesis operations apply to the network as a whole. You might want to combine a delay optimized n/w with an area optimized n/w to get the best of both worlds. Synthesis operations apply to the network as a whole. You might want to combine a delay optimized n/w with an area optimized n/w to get the best of both worlds. However, also note that More choices => more decisions due to more matches at each node!!!! However, also note that More choices => more decisions due to more matches at each node!!!!

05/04/06 11 Constructing the choice network from functionally equivalent, structurally different networks.

05/04/06 12 Generating choices Use associativity of the AND operation to locally rewrite the graph. Use associativity of the AND operation to locally rewrite the graph. x1(x2x3) = (x1x2)x3 = (x1x3)x2 Repeat this process until no new AND nodes are created, and thus accumulate choices by applying this sequence of transformations Repeat this process until no new AND nodes are created, and thus accumulate choices by applying this sequence of transformations Choose best combination of choices by using mapping/retiming. This is the final result, obtained by the triple integration method. Choose best combination of choices by using mapping/retiming. This is the final result, obtained by the triple integration method.

05/04/06 13 High level view of integration flow FRAIG manager generates choice network from equivalent n/w’s. FRAIG manager generates choice network from equivalent n/w’s. Ф = clock period Ф = clock period

05/04/06 14 Experimental results Experiments on IWLS 2005 benchmarks. Experiments on IWLS 2005 benchmarks. IWLS -> International Workshop on Logic and Synthesis. IWLS -> International Workshop on Logic and Synthesis. Average reduction of clock period is.. Average reduction of clock period is.. 25% when compared to traditional mapping without retiming. 25% when compared to traditional mapping without retiming. 20% when compared to traditional mapping with retiming as a post processing step. 20% when compared to traditional mapping with retiming as a post processing step.

05/04/06 15 Questions ???

05/04/06 16 Sequential arrival times Sequential delay of a (possibly) cyclic path p Sequential delay of a (possibly) cyclic path p l(p) = ∑d(n) - Ф ∑t(e) where n,e are in path p. l(p) = ∑d(n) - Ф ∑t(e) where n,e are in path p. d(n) : delay of node n. d(n) : delay of node n. t(e) : number of registers on edge e. t(e) : number of registers on edge e. l(n) = max l(p), considering all paths from PI to n l(n) = max l(p), considering all paths from PI to n Ф is infeasible if the arrival time at PO exceeds Ф at any time during the iterative computation. Ф is infeasible if the arrival time at PO exceeds Ф at any time during the iterative computation.

05/04/06 17 Iterative computation of seq. arrival times

05/04/06 18 Retiming associated with final mapping When optimum clock period Ф opt is known( from previous steps), for each node n included in the final mapping, retiming is done using the formula given below, l opt (n) is the sequential arrival time of node n, for Ф opt. When this is done, resulting Ф is slower than Ф opt by the delay of one gate, at most. When optimum clock period Ф opt is known( from previous steps), for each node n included in the final mapping, retiming is done using the formula given below, l opt (n) is the sequential arrival time of node n, for Ф opt. When this is done, resulting Ф is slower than Ф opt by the delay of one gate, at most.

05/04/06 19