Boolean, 1s and 0s stuff: synthesis, verification, representation This is what happens in the front end of the ASIC design process

Similar documents
TKK S ASIC-PIIRIEN SUUNNITTELU

L12: Reconfigurable Logic Architectures

PHYSICAL DESIGN ESSENTIALS An ASIC Design Implementation Perspective

Timing EECS141 EE141. EE141-Fall 2011 Digital Integrated Circuits. Pipelining. Administrative Stuff. Last Lecture. Latch-Based Clocking.

L11/12: Reconfigurable Logic Architectures

IC Mask Design. Christopher Saint Judy Saint

Lecture 23 Design for Testability (DFT): Full-Scan

ELEC 4609 IC DESIGN TERM PROJECT: DYNAMIC PRSG v1.2

Why FPGAs? FPGA Overview. Why FPGAs?

Introduction to CMOS VLSI Design (E158) Lecture 11: Decoders and Delay Estimation

Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)

Adding Analog and Mixed Signal Concerns to a Digital VLSI Course

CS/EE 6710 Digital VLSI Design CAD Assignment #3 Due Thursday September 21 st, 5:00pm

nmos transistor Basics of VLSI Design and Test Solution: CMOS pmos transistor CMOS Inverter First-Order DC Analysis CMOS Inverter: Transient Response

CS 61C: Great Ideas in Computer Architecture

Computer Systems Architecture

Investigation of Look-Up Table Based FPGAs Using Various IDCT Architectures

Designing VeSFET-based ICs with CMOS-oriented EDA Infrastructure

COE328 Course Outline. Fall 2007

Sharif University of Technology. SoC: Introduction

Slide Set 14. Design for Testability

Chapter 7 Memory and Programmable Logic

SEMICONDUCTOR TECHNOLOGY -CMOS-

Lecture 1: Circuits & Layout

COMP2611: Computer Organization. Introduction to Digital Logic

SEMICONDUCTOR TECHNOLOGY -CMOS-

ROM MEMORY AND DECODERS

Innovative Fast Timing Design

System IC Design: Timing Issues and DFT. Hung-Chih Chiang

Automatic Transistor-Level Design and Layout Placement of FPGA Logic and Routing from an Architectural Specification

Field Programmable Gate Arrays (FPGAs)

At-speed Testing of SOC ICs

Sequential Logic. Introduction to Computer Yung-Yu Chuang

EEC 116 Fall 2011 Lab #5: Pipelined 32b Adder

Random Access Scan. Veeraraghavan Ramamurthy Dept. of Electrical and Computer Engineering Auburn University, Auburn, AL

Design and Simulation of a Digital CMOS Synchronous 4-bit Up-Counter with Set and Reset

Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow

ESE534: Computer Organization. Previously. Today. Previously. Today. Preclass 1. Instruction Space Modeling

High Performance Microprocessor Design and Automation: Overview, Challenges and Opportunities IBM Corporation

A New Methodology for Analog/Mixed-Signal (AMS) SoC Design that Enables AMS Design Reuse and Achieves Full-Custom Performance

SA4NCCP 4-BIT FULL SERIAL ADDER

Scan. This is a sample of the first 15 pages of the Scan chapter.

ECE Circuits Curriculum

CMOS VLSI Design. Lab 3: Datapath and Zipper Assembly

FPGA Laboratory Assignment 4. Due Date: 06/11/2012

Introduction to CMOS VLSI Design (E158) Lab 3: Datapath and Zipper Assembly

PHASE-LOCKED loops (PLLs) are widely used in many

EECS150 - Digital Design Lecture 17 - Circuit Timing. Performance, Cost, Power

Design for Testability

VLSI Design: 3) Explain the various MOSFET Capacitances & their significance. 4) Draw a CMOS Inverter. Explain its transfer characteristics

EECS150 - Digital Design Lecture 18 - Circuit Timing (2) In General...

4. Formal Equivalence Checking

VLSI Design Digital Systems and VLSI

OF AN ADVANCED LUT METHODOLOGY BASED FIR FILTER DESIGN PROCESS

Using on-chip Test Pattern Compression for Full Scan SoC Designs

Laboratory 1 - Introduction to Digital Electronics and Lab Equipment (Logic Analyzers, Digital Oscilloscope, and FPGA-based Labkit)

Hardware Design I Chap. 5 Memory elements

A video signal processor for motioncompensated field-rate upconversion in consumer television

IE1204 Digital Design L1 : Course Overview. Introduction to Digital Technology. Binary Numbers

VHDL Design and Implementation of FPGA Based Logic Analyzer: Work in Progress

Developing Standard Cells for TSMC 0.25 µm Technology with MOSIS DEEP Rules

ANALYSIS OF POWER REDUCTION IN 2 TO 4 LINE DECODER DESIGN USING GATE DIFFUSION INPUT TECHNIQUE


Memory, Latches, & Registers

Report on 4-bit Counter design Report- 1, 2. Report on D- Flipflop. Course project for ECE533

WELCOME. ECE 2030: Introduction to Computer Engineering* Richard M. Dansereau Copyright by R.M. Dansereau,

CPS311 Lecture: Sequential Circuits

Project 6: Latches and flip-flops

EECS150 - Digital Design Lecture 2 - CMOS

Modeling Digital Systems with Verilog

Microprocessor Design

EECS 151/251A Spring 2018 Digital Design and Integrated Circuits Instructors: N. Weaver & J. Wawrzynek. Lecture 2 EE141

CS/EE 181a 2010/11 Lecture 6

L14: Quiz Information and Final Project Kickoff. L14: Spring 2004 Introductory Digital Systems Laboratory

VGA Controller. Leif Andersen, Daniel Blakemore, Jon Parker University of Utah December 19, VGA Controller Components

Design and Implementation of SOC VGA Controller Using Spartan-3E FPGA

Testability: Lecture 23 Design for Testability (DFT) Slide 1 of 43

Combinational vs Sequential

Digital Systems Design

We can think of the multiplexor (or mux) as a data selector, the diagram below illustrates a four input mux. X Y

DIGITAL TECHNICS. Dr. Bálint Pődör. Óbuda University, Microelectronics and Technology Institute

Introduction to The Design of Mixed-Signal Systems on Chip 1

Co-simulation Techniques for Mixed Signal Circuits

Fully Static and Compressed Topology Using Power Saving in Digital circuits for Reduced Transistor Flip flop

EVE: A CAD Tool Providing Placement and Pipelining Assistance for High-Speed FPGA Circuit Designs

Display Technology. Images stolen from various locations on the web... Cathode Ray Tube

Electrical & Computer Engineering ECE 491. Introduction to VLSI. Report 1

EL302 DIGITAL INTEGRATED CIRCUITS LAB #3 CMOS EDGE TRIGGERED D FLIP-FLOP. Due İLKER KALYONCU, 10043

Reconfigurable Architectures. Greg Stitt ECE Department University of Florida

2.6 Reset Design Strategy

Lecture 2: Basic FPGA Fabric. James C. Hoe Department of ECE Carnegie Mellon University

Display Technology.! Images stolen from various locations on the web... Cathode Ray Tube

Syed Muhammad Yasser Sherazi CURRICULUM VITAE

Digital Integrated Circuits EECS 312

CMOS Testing-2. Design for testability (DFT) Design and Test Flow: Old View Test was merely an afterthought. Specification. Design errors.

SI-Studio environment for SI circuits design automation

The Stratix II Logic and Routing Architecture

Achieving Timing Closure in ALTERA FPGAs

1967 FIRST PRODUCTION MOS CHIPS 1969 LSI ( TRANSISTORS) PMOS, NMOS, CMOS 1969 E-BEAM PRODUCTION, DIGITAL WATCHES, CALCULATORS 1970 CCD

Multi-project Sensor Chip Design Global Pad Placement

Transcription:

(Lec 11) From Logic To Layout What you know... Boolean, 1s and 0s stuff: synthesis, verification, representation This is what happens in the front end of the ASIC design process High-level design description Synthesis, verification A netlist of connected gates + wires in your technology What you don t know... The back end problem -- turning these into IC masks Basically a gates --> rectangles problem Called layout or physical design R. Rutenbar 2001 CMU 18-760, Fall 2001 1 Copyright Notice Rob A. Rutenbar 2001 All rights reserved. You may not make copies of this material in any form without my express permission. R. Rutenbar 2001 CMU 18-760, Fall 2001 2 Page 1

Page 2 Where Are We? Physical design--how to geometrically layout gates in a netlist? M T W Th F Aug 27 28 29 30 31 Sep 3 4 5 6 7 10 11 12 13 14 17 18 19 20 21 24 25 26 27 28 Oct 1 2 3 4 5 8 9 10 11 12 Midsem 15 16 17 18 19 break 22 23 24 25 26 29 30 31 1 2 Nov 5 6 7 8 9 12 13 14 15 16 Thnxgive 19 20 21 22 23 26 27 28 29 30 Dec 3 4 5 6 7 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 10 11 12 13 14 16 Introduction Advanced Boolean algebra JAVA Review Formal verification 2-Level logic synthesis Multi-level logic synthesis Technology mapping Placement Routing Static timing analysis Electrical timing analysis Geometric data structs & apps R. Rutenbar 2001 CMU 18-760, Fall 2001 3 Handouts Physical Lecture 11 -- Logic to Layout Electronic Nothing new... R. Rutenbar 2001 CMU 18-760, Fall 2001 4

Physical Design for ASICs We are focusing on a particular niche in layout Row-based standard cells for semi-custom applications Example: automotive chip These part are rows of so-called standard cells used for the control logic R. Rutenbar 2001 CMU 18-760, Fall 2001 5 Zoom: Row-Based Control Logic One row of logic gates One channel of routed wires (BTW--this is an older technology, which is why you see explicit spaces for wires in between the rows ) R. Rutenbar 2001 CMU 18-760, Fall 2001 6 Page 3

Page 4 Zoom: CPU Is Itself a Hierarchy of Cells More regular layout structures: ALU, registers Row-based control logic R. Rutenbar 2001 CMU 18-760, Fall 2001 7 ASIC-related Terminology: Buzzword Lexicon Some terms Custom layout: you do it all by hand. Think of this as design at the transistor level. Also called (derisively) polygon pushing. Semi-custom layout: you pick up some pre-laid-out pieces from some library and then arrange these to do your complete layout ASIC, Application-Specific Integrated Circuit: a semi-custom IC designed to do one thing (eg, an MPEG decoder) as opposed to something arbitrarily programmable, like a CPU Standard cell: the smallest, most common thing in your library of prelaid-out stuff. Basically, a gate or FF. All the stuff in your technology library for Tech Mapping has a layout in this library. Core: a huge block (cell) in your library of pre-laid-out stuff, like an entire CPU. More recently, called intellectual property (IP) SoC: system-on-a-chip. Assemble a large chip from many pre-designed semi-custom pieces, like memories, CPU cores, random logic, etc R. Rutenbar 2001 CMU 18-760, Fall 2001 8

Page 5 System On Chip Style Abstract example Core blocks that appear as large rectangular objects Control logic usually appears as regions of std cells laid out in rows RAM ROM Data path R. Rutenbar 2001 CMU 18-760, Fall 2001 9 Example Revisited: Automotive ASIC Mem Mem digital Logic Mem CPU DAC Driver Support Supply ADC Analog R. Rutenbar 2001 CMU 18-760, Fall 2001 10

A Larger Example: Telecom ASIC DSP CPU Core Logic Mem Analog Frontend Memory Courtesy Frank Op t Eynde, Alcatel R. Rutenbar 2001 CMU 18-760, Fall 2001 11 ASIC Design Methodology Methodology ==? The sequence of CAD tools, design representations, design steps you use to go from an idea to silicon Includes both synthesis steps, to make designs more detailed, and verification steps, to check correctness Modern methodology (simplified) Simulation /validation: spec design as executable code (eg, Verilog), simulate to try test cases Synthesis: high-level synthesis (eg, from Verilog) and logic synthesis, to go from high-level spec to gates Mapping: to get the gates onto your implementable library Formal verification: used where possible to prove equivalence Physical Design: floorplan the chip, place the blocks/gates, route them Timing verification: (in all steps) ensure meet timing goals (ie, MHz) R. Rutenbar 2001 CMU 18-760, Fall 2001 12 Page 6

Aside: From Methodology to Intellectual Property Intellectual property (IP) Something you can buy for $$$ that embodies some design expertise Easier to buy it than to build it Historical forms of IP Chips: You buy the hardware, plug it into a board, wire it up and go Software: You buy it, load it, boot it, run it. Evolving forms of IP Soft IP: buy the Verilog source code. Synthesize it yourself. Firm IP: buy the gate/block level netlist. Do your own mapping, layout Hard IP: buy the actual layout. May have to adjust to your fab Ability to buy tools that do synthesis/layout is one big factor driving IP R. Rutenbar 2001 CMU 18-760, Fall 2001 13 IP -- the Ultimate Fantasy Electronic IP R. Rutenbar 2001 CMU 18-760, Fall 2001 14 Page 7

What Are We Doing Now in 760? Big steps in physical design backend of ASIC methodology Synthesis steps Placement & partitioning Routing Verification steps Static timing analysis & electrical timing analysis Algorithms for representing/checking mask geometry (Aside: 18-360 vs 18-760: 360: a little annealing, partitioning, maze routing 760: a lot more annealing, 2 more placement algorithms, a new partitioning algorithm, a lot more routing, new stuff on timing and on geometric representation ) R. Rutenbar 2001 CMU 18-760, Fall 2001 15 Physical Design for ASICs Example of (trivial) standard cell library NOT NAND2, 3 NOR2, 3 FULL ADD D FF As layouts... Q Q + D Each a little rectangle of different mask layouts Usually a common height (Y direction) Varying widths, depending on number of IOs Pins may be available at the top & bottom of cell, or just someplace inside the cell boundary, on metal layers visible to the router 3-input gate: pins available top & bottom 3-input gate: pins available in middle R. Rutenbar 2001 CMU 18-760, Fall 2001 16 Page 8

How Big is a Cell Library--How Many Cells? Often, pretty big Big enough to get all necessary logic functions, IO variants, timing variants, drive strengths, to first order Logic functions D Q X Fanin & fanout variants X Timing, latch/ff, scan variants X Drive strength (1X, 2X 4X, 8X) variants = ~1k-2k cells Suggested way think about a standard cell It s a nice, simple abstraction of a geometric container for the circuits you need to make logic. Its hides messy circuit details. Inside the cell: Outside the cell: a box with pins complex device & mask & electrical issues R. Rutenbar 2001 CMU 18-760, Fall 2001 17 Physical Design for ASICs A simple CMOS logic cell For static CMOS, inputs on polysilicon, P devices on top, N on bottom a Vdd a b c d e a b d b c c e d e out metal1 poly contact pdiff ndiff Vss Way think about a standard cell It s a nice, simple geometric abstraction of a geometric container for the circuits you need to make logic. Its hides messy circuit details. R. Rutenbar 2001 CMU 18-760, Fall 2001 18 Page 9

Page 10 Row-Based Cell Layout for ASICs Cells snap together to connect power grid Power wiring style called interdigitated fingers or combs VDD Power Rail a b c d e a b c d e a b c d e cell cell cell cell cell cell cell VSS Power Rail R. Rutenbar 2001 CMU 18-760, Fall 2001 19 Impact of Available Metal Routing Layers Closer look at a more complicated, more modern cell style IO pin Over the cell wiring is possible in metal3 Power supply Voltages in metal2 Logic in poly + metal1 IO pin Si surface R. Rutenbar 2001 CMU 18-760, Fall 2001 20

About Metal Routing Layers As fab technology progresses, get more layers of metal wiring Earliest (NMOS) technologies had only one metal, one poly for routing Later we got 2 metal layers for routing. Then 3 layers, 4 layers, 5 layers, 6 layers, 7 layers today, ~8 layers Strongly affects style of row-based ASIC layouts 5-layer metal cross section from early IBM PowerPC R. Rutenbar 2001 CMU 18-760, Fall 2001 21 ASIC Layout: 2-3 Routing Layers vs 4+ Layers 2-3 metal layers 2-layers: 1 horizontal, 1 vertical; 3-layers: typically 2 horiz, 1 vertical We used to add spaces inside logic rows for vertical wires to cross 2,3-layers: Row-based Layout Cells Channel 4+ layers Metals alternate horizontal, vertical, horizontal, etc No channel spaces reserved at all, wires go right over the gates 4+ layers: Row-based Layout Cells 3-layers example R. Rutenbar 2001 CMU 18-760, Fall 2001 22 Page 11

Page 12 Summary: Physical Design for ASICs What exactly are we going to look at? 1. Placement & partitioning Once you know the gates for your chip, where do you put them? 2. Routing Once you know where the gates are, how do you connect the wires? 3. Logical timing & electrical timing analysis You have gates, have wires, have delay models: so how fast will it go? 4. Big geometry: representation & manipulation How do you deal efficiently with 1,000,000,000 rectangles? R. Rutenbar 2001 CMU 18-760, Fall 2001 23