ELEC 7770 Advanced VLSI Design Spring 2016 Technology Mapping

Slides:



Advertisements
Similar presentations
Modern VLSI Design 3e: Chapter 3 Copyright 1998, 2002 Prentice Hall PTR Topics n Combinational logic functions. n Static complementary logic gate structures.
Advertisements

Logic Gates.
ELEC Digital Logic Circuits Fall 2014 Logic Synthesis (Chapters 2-5) Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and.
ECE 667 Synthesis and Verification of Digital Systems
Spring 07, Feb 6 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Verification Vishwani D. Agrawal James J. Danaher.
Spring 07, Feb 13 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Binary Decision Diagrams Vishwani D. Agrawal James.
Spring 08, Apr 1 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2008 Testability Measures Vishwani D. Agrawal James.
Spring 08, Jan 15 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Introduction Vishwani D. Agrawal James J. Danaher.
Technology Mapping.
Spring 07, Jan 16 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Introduction Vishwani D. Agrawal James J. Danaher.
Copyright Agrawal, 2007 ELEC6270 Fall 07, Lecture 12 1 ELEC 5270/6270 Fall 2007 Low-Power Design of Electronic Circuits Pass Transistor Logic: A Low Power.
Spring 08, Feb 28 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2008 Retiming Vishwani D. Agrawal James J. Danaher.
Spring 07, Jan 23 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Moore’s Law Vishwani D. Agrawal James J. Danaher.
Spring 07, Mar 8 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Timing Verification and Optimization Vishwani D.
Fall 2006, Oct. 5 ELEC / Lecture 8 1 ELEC / (Fall 2006) Low-Power Design of Electronic Circuits Glitch-Free ASICs and Custom.
Spring 07, Apr 5 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Retiming Vishwani D. Agrawal James J. Danaher Professor.
Technology Mapping 1 Outline –What is Technology Mapping? –Rule-Based Mapping –Tree Pattern Matching Goal –Understand technology mapping –Understand mapping.
Technology Mapping Outline Goal What is Technology Mapping?
Spring 08, Feb 6 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2008 Timing Verification and Optimization Vishwani D.
ECE Synthesis & Verification, Lecture 17 1 ECE 697B (667) Spring 2006 ECE 697B (667) Spring 2006 Synthesis and Verification of Digital Systems Technology.
1 VLSI CAD Flow: Logic Synthesis, Lecture 13 by Ajay Joshi (Slides by S. Devadas)
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Lecture 12 – Design Procedure.
Shantanu Dutt ECE Dept. UIC
Spring 2010, Mar 10ELEC 7770: Advanced VLSI Design (Agrawal)1 ELEC 7770 Advanced VLSI Design Spring 2010 Gate Sizing Vishwani D. Agrawal James J. Danaher.
Technology Mapping. 2 Technology mapping is the phase of logic synthesis when gates are selected from a technology library to implement the circuit. Technology.
EE 5900 Advanced Algorithms for Robust VLSI CAD, Spring 2009 Combinational Circuits.
ELEC Digital Logic Circuits Fall 2015 Logic Synthesis (Chapters 2-5) Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and.
ELEC Digital Logic Circuits Fall 2015 Delay and Power Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and Computer Engineering.
ELEC Digital Logic Circuits Fall 2014 Delay and Power Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and Computer Engineering.
VLSI Design Flow The Y-chart consists of three major domains:
ELEC 5270/6270 Spring 2013 Low-Power Design of Electronic Circuits Pass Transistor Logic: A Low Power Logic Family Vishwani D. Agrawal James J. Danaher.
ELEC 7770 Advanced VLSI Design Spring Gate Delay and Circuit Timing
ELEC Digital Logic Circuits Fall 2014 Logic Minimization (Chapter 3)
CS2100 Computer Organisation
ELEC 7770 Advanced VLSI Design Spring 2016 Introduction
Vishwani D. Agrawal James J. Danaher Professor
VLSI Testing Lecture 5: Logic Simulation
STICK Diagrams UNIT III : VLSI CIRCUIT DESIGN PROCESSES VLSI DESIGN
VLSI System Design Lecture: 1.3 COMS LOGICs
Vishwani D. Agrawal Department of ECE, Auburn University
ELEC 5270/6270 Spring 2013 Low-Power Design of Electronic Circuits Pseudo-nMOS, Dynamic CMOS and Domino CMOS Logic Vishwani D. Agrawal James J. Danaher.
ELEC 7770 Advanced VLSI Design Spring 2014 Introduction
ELEC 7770 Advanced VLSI Design Spring 2016 Zero-Skew Clock Routing
Chapter 12 : Field – Effect Transistors
ELEC 5270/6270 Spring 2015 Low-Power Design of Electronic Circuits Pseudo-nMOS, Dynamic CMOS and Domino CMOS Logic Vishwani D. Agrawal James J. Danaher.
ELEC 7770 Advanced VLSI Design Spring 2012 Retiming
Subject Name: Fundamentals Of CMOS VLSI Subject Code: 10EC56
Vishwani D. Agrawal James J. Danaher Professor
ELEC 7770 Advanced VLSI Design Spring 2012 Introduction
Design Technologies Custom Std Cell Performance Gate Array FPGA Cost.
ELEC 7770 Advanced VLSI Design Spring 2010 Interconnects and Crosstalk
ELEC 7770 Advanced VLSI Design Spring 2010 Introduction
Vishwani D. Agrawal James J. Danaher Professor
CSE 370 – Winter Combinational Implementation - 1
ELEC 5270/6270 Spring 2011 Low-Power Design of Electronic Circuits Pass Transistor Logic: A Low Power Logic Family Vishwani D. Agrawal James J. Danaher.
ELEC 7770 Advanced VLSI Design Spring 2014 Technology Mapping
Sungho Kang Yonsei University
ECE 667 Synthesis and Verification of Digital Systems
Vishwani D. Agrawal James J. Danaher Professor
Vishwani D. Agrawal James J. Danaher Professor
Combinational Circuits
Technology Mapping I based on tree covering
VLSI CAD Flow: Logic Synthesis, Placement and Routing Lecture 5
ELEC 7770 Advanced VLSI Design Spring 2016 Retiming
Combinational Circuits
FIGURE 5-1 MOS Transistor, Symbols, and Switch Models
ELEC 7770 Advanced VLSI Design Spring 2012 Timing Simulation and STA
ELEC 7770 Advanced VLSI Design Spring 2012 Gate Sizing
ELEC 7770 Advanced VLSI Design Spring 2010 Zero-Skew Clock Routing
ELEC 5270/6270 Spring 2009 Low-Power Design of Electronic Circuits Pseudo-nMOS, Dynamic CMOS and Domino CMOS Logic Vishwani D. Agrawal James J. Danaher.
Presentation transcript:

ELEC 7770 Advanced VLSI Design Spring 2016 Technology Mapping Vishwani D. Agrawal James J. Danaher Professor ECE Department, Auburn University Auburn, AL 36849 vagrawal@eng.auburn.edu http://www.eng.auburn.edu/~vagrawal/COURSE/E7770_Spr16 Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) Logic Synthesis Definition: To design a logic circuit such that it meets the specifications and can be economically manufactured: Performance – meets delay specification, or has minimum delay. Cost – uses minimum hardware, smallest chip area, smallest number of gates or transistors. Power – meets power specification, or consumes minimum power. Testablility – has no redundant (untestable) logic and is easily testable. Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

References on Synthesis G. De Micheli, Synthesis and Optimization of Digital Circuits, New York: McGraw-Hill, 1994. S. Devadas, A. Ghosh and K. Keutzer, Logic Synthesis, New York: McGraw-Hill, 1994. Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Synthesis: A Two-Step Process Minimization – Obtain MSOP or MPOS. This is also known as two-level minimization because the result can be implemented as a two-level AND-OR or NAND-NAND or NOR-NOR circuit. Technology mapping – Considering design requirements, transform the minimized form into one of the technologically realizable forms: Programmable logic array (PLA) Standard cell library Field programmable gate array (FPGA) Other . . . Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Programmable Logic Array (PLA) A direct implementation of multi-output function as a two-level circuit in MOS technology. PLA styles: NAND-NAND NOR-NOR Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Example: Two-Output Function Need four products: P1, P2, P3, P4 F1 A F2 A 4 12 8 1 5 13 9 3 7 15 11 2 6 14 10 4 12 8 1 5 13 9 3 7 15 11 2 6 14 10 D D C C B B Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Two-Level AND-OR Implementation Also known as technology-independent circuit. INPUTS AND OR C P1 F1 P2 A P3 F2 B P4 D Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

NAND-NAND Implementation INPUTS NAND NAND C F1 A F2 B D Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

A NAND Gate in nMOS Technology VDD VDD VDD Enhancement load Depletion load XY XY XY X X X Y Y Y GND GND GND R. C. Jaeger and T, N. Blalock, Microelectronic Circuit Design, Boston: McGraw-Hill, 2008, Section 6.8.2. Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) NAND-NAND PLA A B C D F1 F2 VDD VDD VDD VDD VDD VDD GND Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

NAND-NAND PLA SCHEMATIC B C D F1 F2 INPUTS OUTPUTS Transistors at cross-points AND-plane OR-plane Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) Standard-Cell Design Obtain two-level minimized form. Map the design onto predesigned building blocks called standard cells (technology mapping). Standard-cell library contains predesigned logic cells in the technology of manufacture. Examples of technology: 90 nanometer CMOS 65 nanometer CMOS 45 nanometer CMOS . . . This is known as application-specific integrated circuit (ASIC). Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) Technology Mapping Find a common logic element, e.g., two-input NAND gate or inverter (one-input NAND). MSOP is converted into NAND-NAND circuit. Split larger input gates into two-input NAND gates and inverters. Cover the circuit with standard cells, also split into two-input NAND gates and inverters (graph-matching). Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) A Typical Cell Library Name Area units (cost) Inputs Output function, Z Inverter 2 A NAND2 3 A, B NAND3 4 A, B, C NAND4 5 A, B, C, D AOI21 OAI21 AOI22 XOR S. Devadas, A. Ghosh and K. Keutzer, Logic Synthesis, New York: McGraw-Hill 1994, Section 7.7, pp. 185-198. Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

NAND3 Cell in Transistors VDD Z A B C GND Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) NAND3 Cell Graphs Directed Acyclic Graph (DAG) (tree) Root ≡ Output One-input node (NOT) Two-input node (NAND) Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) NAND4 Cell Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) AOI21 Cell Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) OAI21 Cell Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

AOI22 Cell in Transistors VDD Pull-up network Pull-down network A B C D Z GND Observe that in a CMOS circuit, any vector of input variables connects the output Z either to GND or to VDD, giving it a value 0 or 1, respectively. Examining the pull-down network, we notice that the output is connected to GND if AB = 1 or CD =1. That gives the output function as, . The cell, therefore, is AOI22. Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) AOI22 Cell Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) XOR Cell Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

NAND Graphs for Library Cells Name Area units (cost) Inputs NAND graph Inverter 2 A NAND2 3 A, B NAND3 4 A, B, C NAND4 5 A, B, C, D AOI21 OAI21 AOI22 XOR Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Technology Mapping Procedure Obtain MSOP. Convert to two-level AND-OR circuit. Transform to two-level NAND-NAND circuit. Transform to two-input NAND and inverter tree network. Perform an optimal pattern matching to obtain a minimum cost tree covering. Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Previous Example: 2-Level NAND (Slide 8) INPUTS NAND NAND C F1 A F2 B D Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

A Simple Technology Mapping NAND2 (3) NAND2 (3) C (2) F1 D NAND3 (4) NAND3 (4) B (2) F2 NAND2 (3) A Cost = 24 NAND2 (3) Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Optimum Mapping: Convert NAND Circuit to Directed Acyclic Graph (DAG) F1 A F2 B Each node is a NAND gate. (NOT ≡ 1-input NAND) D Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Split DAG into Trees (Forest) C D F1 C B D A B F2 A D Cost = 24 Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Split Nodes With More Than Two Branches (Use NAND3, NAND4 Graphs) ≡ or F2 or F2 ≡ or NAND4 NAND4 Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

Uniform Branching (1 or 2) D B C D A F2 B A Cost = 32 D Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) Graph Matching C OAI21 (4) (2) D F1 Nodes inserted For pattern matching B NAND3 (4) C D NAND3 (4) NAND2 (3) A F2 B (2) A D NAND2 (3) Cost = 22 Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) Technology Mapping C OAI21 (4) D (2) (2) F1 Inverters inserted For pattern matching B NAND3 (4) C D NAND3 (4) A F2 B (2) NAND2 (3) A Cost = 22 D NAND2 (3) Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) Mapped Circuit C (2) AOI21 (4) F1 D NAND3 (4) NAND3 (4) B (2) F2 NAND2 (3) A Cost = 22 NAND2 (3) Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)

ELEC 7770: Advanced VLSI Design (Agrawal) Original Reference K. Keutzer, “DAGON: Technology Binding and Local Optimization by DAG matching,” Proc. 24th Design Automation Conf., 1987, pp. 341-347. Spring 16, Apr 18 . . . ELEC 7770: Advanced VLSI Design (Agrawal)