System-On-a-Chip: A case study based on the ELIET Chip

Slides:



Advertisements
Similar presentations
1 System Level Verification of OCP-IP based SoCs using OCP-IP eVC Himanshu Rawal eInfochips, Inc.,4655 Old Ironsides Drive, Suite 385,Santa Clara, CA
Advertisements

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 31/22alt1 Lecture 31 System Test (Lecture 22alt in the Alternative Sequence) n Definition n Functional.
Apr. 20, 2001VLSI Test: Bushnell-Agrawal/Lecture 311 Lecture 31 System Test n Definition n Functional test n Diagnostic test  Fault dictionary  Diagnostic.
Timing Override Verification (TOV) Erik Seligman CS 510, Lecture 18, March 2009.
Electronics’2004, Sozopol, September 23 Design of Mixed Signal Circuits and Systems for Wireless Applications V. LANTSOV, Vladimir State University
Kazi Spring 2008CSCI 6601 CSCI-660 Introduction to VLSI Design Khurram Kazi.
The Design Process Outline Goal Reading Design Domain Design Flow
Kazi Fall 2006 EEGN 4941 EEGN-494 HDL Design Principles for VLSI/FPGAs Khurram Kazi.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
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.
Spring 07, Jan 25 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 VLSI System DFT Vishwani D. Agrawal James J. Danaher.
VHDL Intro What does VHDL stand for? VHSIC Hardware Description Language VHSIC = Very High Speed Integrated Circuit Developed in 1982 by Govt. to standardize.
Implementation of DSP Algorithm on SoC. Mid-Semester Presentation Student : Einat Tevel Supervisor : Isaschar Walter Accompaning engineer : Emilia Burlak.
Principle of Functional Verification Chapter 1~3 Presenter : Fu-Ching Yang.
(1) Introduction © Sudhakar Yalamanchili, Georgia Institute of Technology, 2006.
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
1 Chapter 2. The System-on-a-Chip Design Process Canonical SoC Design System design flow The Specification Problem System design.
VERIFICATION OF I2C INTERFACE USING SPECMAN ELITE By H. Mugil Vannan Experts Mr. Rahul Hakhoo, Section Manager, CMG-MCD Mr. Umesh Srivastva, Project Leader.
04/26/20031 ECE Digital System Design & Synthesis Lecture Set 13 - Design Reuse and Intellectual Property Cores Overview  Design Reuse  System-on-a-Chip.
IAY 0600 Digital Systems Design
Reporter: PCLee. Assertions in silicon help post-silicon debug by providing observability of internal properties within a system which are.
ECE 545 Project 1 Part IV Key Scheduling Final Integration List of Deliverables.
1 3-General Purpose Processors: Altera Nios II 2 Altera Nios II processor A 32-bit soft core processor from Altera Comes in three cores: Fast, Standard,
1 SERIAL PORT INTERFACE FOR MICROCONTROLLER EMBEDDED INTO INTEGRATED POWER METER Mr. Borisav Jovanović, Prof.dr Predrag Petković, Prof.dr. Milunka Damnjanović,
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
1 Integration Verification: Re-Create or Re-Use? Nick Gatherer Trident Digital Systems.
A New Method For Developing IBIS-AMI Models
Using Formal Verification to Exhaustively Verify SoC Assemblies by Mark Handover Kenny Ranerup Applications Engineer ASIC Consultant Mentor Graphics Corp.
ECE Advanced Digital Systems Design Lecture 12 – Timing Analysis Capt Michael Tanner Room 2F46A HQ U.S. Air Force Academy I n t e g r i.
1 H ardware D escription L anguages Modeling Digital Systems.
FPGA-Based System Design: Chapter 6 Copyright  2004 Prentice Hall PTR Topics n Design methodologies.
Digital System Verification. VERIFICATION OUTLINE Purpose of Verification –Verification effort and cost Verification Tools –Linting tools –Code Coverage.
Interfaces to External EDA Tools Debussy Denali SWIFT™ Course 12.
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Introduction to FPGA Created & Presented By Ali Masoudi For Advanced Digital Communication Lab (ADC-Lab) At Isfahan University Of technology (IUT) Department.
The Macro Design Process The Issues 1. Overview of IP Design 2. Key Features 3. Planning and Specification 4. Macro Design and Verification 5. Soft Macro.
ASIC, Customer-Owned Tooling, and Processor Design Nancy Nettleton Manager, VLSI ASIC Device Engineering April 2000 Design Style Myths That Lead EDA Astray.
EEE440 Computer Architecture
ECE 545 Project 2 Specification. Schedule of Projects (1) Project 1 RTL design for FPGAs (20 points) Due date: Tuesday, November 22, midnight (firm) Checkpoints:
Fall 2004EE 3563 Digital Systems Design EE 3563 VHSIC Hardware Description Language  Required Reading: –These Slides –VHDL Tutorial  Very High Speed.
Electrical and Computer Engineering University of Cyprus LAB 1: VHDL.
An Overview of Hardware Design Methodology Ian Mitchelle De Vera.
CHAPTER 8 Developing Hard Macros The topics are: Overview Hard macro design issues Hard macro design process Physical design for hard macros Block integration.
Tools - LogiBLOX - Chapter 5 slide 1 FPGA Tools Course The LogiBLOX GUI and the Core Generator LogiBLOX L BX.
1 Hardware/Software Co-Design Final Project Emulation on Distributed Simulation Co-Verification System 陳少傑 教授 R 黃鼎鈞 R 尤建智 R 林語亭.
Macro Verification Guidelines Chapter 7.. Chap 7. Macro Verification Guidelines The goal of macro verification The macro is 100 percent correct in its.
Priority encoder. Overview Priority encoder- theoretic view Other implementations The chosen implementation- simulations Calculations and comparisons.
Introduction to ASIC flow and Verilog HDL
EE694v-Verification-Lect7-1- Verification Plan & Levels of Verification The Verification Plan Yesterdays and today’s design environment Design specification.
Chapter 11 System-Level Verification Issues. The Importance of Verification Verifying at the system level is the last opportunity to find errors before.
03/30/031 ECE Digital System Design & Synthesis Lecture Design Partitioning for Synthesis Strategies  Partition for design reuse  Keep related.
ASIC/FPGA design flow. Design Flow Detailed Design Detailed Design Ideas Design Ideas Device Programming Device Programming Timing Simulation Timing Simulation.
Design with Vivado IP Integrator
Verification vs. Validation Verification: "Are we building the product right?" The software should conform to its specification.The software should conform.
-1- Soft Core Viterbi Decoder EECS 290A Project Dave Chinnery, Rhett Davis, Chris Taylor, Ning Zhang.
SUBJECT : DIGITAL ELECTRONICS CLASS : SEM 3(B) TOPIC : INTRODUCTION OF VHDL.
Programmable Logic Devices
Structural style Modular design and hierarchy Part 1
ASIC Design Methodology
VLSI Testing Lecture 14: System Diagnosis
VLSI Testing Lecture 5: Logic Simulation
Digital System Verification
CoCentirc System Studio (CCSS) by
Week 5, Verilog & Full Adder
VHDL Introduction.
Srinivas Aluri Jaimin Mehta
Presentation transcript:

System-On-a-Chip: A case study based on the ELIET Chip

Contents ELIET Architecture SoC trade-offs Design methodology Specification Problem General information about ELIET Designed to last System Integration Verification Conclusion References

ELIET Architecture ELIET stands for Electronic ISDN Echo Canceller Transceiver Mixed analog/digital chip integrating all the functions required to implement an LT (line termination) system ELIET building blocks are: custom DSP 8 bit harvard micro-controller embedded memories (ROMs and SRAMs) different internal and external bus protocols A/D and D/A converters PLL ...

ELIET Architecture

SoC trade-offs ADVANTAGES: Cost reduction Shortening time to market attack productivity bottlenecks (verification) good design methodology Increase of complexity Design methodology and the right verification strategy become critical DISADVANTAGES:

Design Methodology State of the art tools robust and proven design flow rigorous project management definition phase guidelines checklists design specification design phase VHDL coding, DFT, synthesis, floorplan, wireload model generation, P&R verification phase behavioural models, RTL simulation, code coverage, GL simulation, formal verification documentation phase functional doc. implementaion doc. verification doc.

The Specification Problem specification detailed enough to allow RTL coding save time and unpleasant surprises on silicon serve as feasability study functionality, timing, performance, interfaces, physical issues (area, power, …) continuously updated paper specification formal specification executable specification (C, C++, matlab, Cossap, …)

The Specification Problem Overview Functional requirements Physical requirements Verification requirements Design guidelines Block diagram Interfaces signal names and meanings transaction protocols (timing diagram) timing specifications set-up and hold time on inputs clock to Q time for outputs special signals (test, analog, …) asynchronous signals clocks, resets, interrupts and their timing legal values for input and output datas checklists (paper, scripts, …)

General information about ELIET

Some number about ELIET

Designed to last Chip design constrained by what can be verified, rather than by the functions design style driven by verification (clock synchronous synthesizable RTL) As the complexity of the chip increases “Pray to God approach” is not an option No magic rule to getting first-time-right silicon maximum level of quality in each step of the development process no separation between front end and back end too many macros with the wrong aspect ratio can make the chip unroutable or too big or can create unacceptable delays on critical nets accurate wire load models for DSM bottom up synthesis approach recommended

Designed to last clock distribution accurately studied balanced clock tree with low skews test strategy decided at an early stage of the design BIST for memories full scan flops max 1000 flops per scan chain boundary scan insulation and ad hoc testing for analog macros Guidelines and Checklists RTL coding guidelines coding for portability (ieee standard types, too many subtypes, …) guidelines for clock and reset coding for synthesis check code quality (profiling tools, synthesis results, ...) no unexplained warning

System Integration Reduce the number of new gates introduced Massive reuse of existing proven designs reused parts need to be pre-verified with high degree of quality to allow SOC verification to complete within a reasonable time frame not all core configurations have been tested together Focus of system level simulation is on errors at macro interconnections level misunderstanding of the bus protocols different bridges to communicate between the different busses standardize on a single common bus architecture

Verification Main bottleneck of the development process Right verification strategy at each step of the design It is verification that drives the selection of tools and design style Define the verification plan as soon as possible a list of all test bench components a list of required verification tools a list of specific tests what functionality will be verified target code coverage description of the regression test environment and regression procedures Test bench design takes more time than the circuit design The entire set of test benches and test suites must be reusable (different design teams) and portable (different simulators)

Verification Test bench must be one of the deliverables Bus functional models & bus monitors single test bench command file VHDL test bench guidelines use a clock to synchronize stimuli generation use built in textio packages partition the test bench code in synthesizable and behavioural do not generate data , clocks and resets from the same process common strategy for the test bench for both sub-modules and top level the test bench has to be self-checking (no waveform inspection required) and issue a clear error message in case of failure (what occured, at what time, what was the expectation, what is the result, …)

Verification Toggle coverage greater than 98% Timing analysis static timing analysis and formal verification gate level simulation in case of asynchronous parts

Conclusion Mixed analog/digital 4 channel ASIC for ISDN 0.35 mm, 3.3 V technology 4 analog macros (about 2 mm2 each) 2 PLLs (about 1.10 mm2 ) microprogrammed 8 bit Harvard processor for the ISDN data processing control (about 6.09 mm2 ) custom DSP implementing the echo cancellation algorithm (about 3.07 mm2 ) line controller (about 1.60 mm2 ) universal external interface and iom/PCM interface (about 1.60 mm2 ) 6 ROMs for the microprogrammed processor (about 1.76 mm2 ) 1 ROM and 4 SRAMs for the DSP (about 1.75 mm2 ) Total Area of the chip ~ 51 mm2

Conclusion

Conclusion

References M.Keating, P. Bricaud Reuse methodology manual for system-on-a-chip Designs Kluwer Academic Publishers, 1998 A.M. Rincon, W.R. Lee, M. Slattery The Changing Landscape of System-on-a-Chip Design Custom Integrated Circuits Conference, 1999 R.D. Adams System on a chip Testing Custom Integrated Circuits Conference Educational Sessions, 1999 D.D. Warmke Four white papers on VHDL design Integrated System Design, 1993