Cycle Based Simulation Mehrdad Abutalebi. Outline Motivation Cycle Simulation Cycle Simulation Techniques Cycle Simulation Specifications Areas of Applicability.

Slides:



Advertisements
Similar presentations
Non-synthesizability in Verilog Presented by Pradip Mukhopadhyay ISL-MOD3(E)PR3.
Advertisements

Digital Systems Verification Lecture 13 Alessandra Nardi.
Synchronous Counters with SSI Gates
Simulation executable (simv)
ECE Synthesis & Verification - Lecture 2 1 ECE 667 Spring 2011 ECE 667 Spring 2011 Synthesis and Verification of Digital Circuits High-Level (Architectural)
Give qualifications of instructors: DAP
CS 151 Digital Systems Design Lecture 19 Sequential Circuits: Latches.
1 COMP541 Sequential Circuits Montek Singh Sep 17, 2014.
Digital Logic Design Brief introduction to Sequential Circuits and Latches.
+ CS 325: CS Hardware and Software Organization and Architecture Sequential Circuits 1.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Logic Simulation.
High-Level Constructors and Estimators Majid Sarrafzadeh and Jason Cong Computer Science Department
RTL Hardware Design by P. Chu Chapter 161 Clock and Synchronization.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 71 Lecture 7 Fault Simulation n Problem and motivation n Fault simulation algorithms n Serial n Parallel.
Copyright 2001, Agrawal & BushnellDay-1 PM Lecture 4a1 Design for Testability Theory and Practice Lecture 4a: Simulation n What is simulation? n Design.
Copyright 2001, Agrawal & BushnellDay-1 PM Lecture 4b1 Design for Testability Theory and Practice Lecture 4b: Fault Simulation n Problem and motivation.
Give qualifications of instructors: DAP
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
SoC Interconnect Modeling Venkata Krishna N. Dhulipala 11/20/2008.
Spring 08, Mar 27 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2008 Fault Simulation Vishwani D. Agrawal James J.
Rajeev K. Ranjan Advanced Technology Group Synopsys Inc. Using Combinational Verification for Sequential Circuits Joint work with: Vigyan Singhal, Cadence.
Logic Simulation 2 Outline –Timing Models –Simulation Algorithms Goal –Understand timing models –Understand simulation algorithms Reading –Gate-Level Simulation.
1 Application Specific Integrated Circuits. 2 What is an ASIC? An application-specific integrated circuit (ASIC) is an integrated circuit (IC) customized.
Interface-based Design Donald Chai EE249. Outline Orthogonalization of concerns Formalisms Interface-based Design Example Cheetah Simulator Future Inroads.
مرتضي صاحب الزماني  The registers are master-slave flip-flops (a.k.a. edge-triggered) –At the beginning of each cycle, propagate values from primary inputs.
S. Reda EN160 SP’07 Design and Implementation of VLSI Systems (EN0160) Lecture 23: Sequential Circuit Design (1/3) Prof. Sherief Reda Division of Engineering,
From Scenic to SystemC Mehrdad Abutalebi. Outline Introducing Scenic Scenic Implementation Modeling Reactivity A Simple example From Scenic to SystemC.
DOP - A CPU CORE FOR TEACHING BASICS OF COMPUTER ARCHITECTURE Miloš Bečvář, Alois Pluháček and Jiří Daněček Department of Computer Science and Engineering.
Using Mathematica for modeling, simulation and property checking of hardware systems Ghiath AL SAMMANE VDS group : Verification & Modeling of Digital systems.
Instructor: Alexander Stoytchev CprE 281: Digital Logic.
LOPASS: A Low Power Architectural Synthesis for FPGAs with Interconnect Estimation and Optimization Harikrishnan K.C. University of Massachusetts Amherst.
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
1 H ardware D escription L anguages Modeling Digital Systems.
Introduction to FPGA Created & Presented By Ali Masoudi For Advanced Digital Communication Lab (ADC-Lab) At Isfahan University Of technology (IUT) Department.
1 COMP541 Sequential Circuits Montek Singh Feb 1, 2012.
CS 352 : Computer Organization and Design University of Wisconsin-Eau Claire Dan Ernst Latches & Flip-Flops.
Classification of Simulators Logic Simulators Emulator-basedSchematic-basedHDL-based Event-drivenCycle-basedGateSystem.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Modeling with hardware description languages (HDLs).
Modern VLSI Design 3e: Chapter 8 Copyright  1998, 2002 Prentice Hall PTR Topics n Modeling with hardware description languages (HDLs).
Digital System Design Verilog ® HDL Introduction to Synthesis: Concepts and Flow Maziar Goudarzi.
1 COMP541 Sequential Circuits Montek Singh Feb 1, 2007.
CSCI-365 Computer Organization Lecture Note: Some slides and/or pictures in the following are adapted from: Computer Organization and Design, Patterson.
1 Advanced Digital Design Reconfigurable Logic by A. Steininger and M. Delvai Vienna University of Technology.
June clock data Q-flop Flop dataQ clock Flip-flop is edge triggered. It transfers input data to Q on clock rising edge. Memory Elements.
Instructor: Alexander Stoytchev CprE 281: Digital Logic.
FPGA-Based System Design Copyright  2004 Prentice Hall PTR Topics n Modeling with hardware description languages (HDLs).
Classification of Simulators Logic Simulators Emulator-basedSchematic-basedHDL-based Event-drivenCycle-basedGateSystem.
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
Circuit Analyze  Combinational or Sequential logic schematics show the circuit’s hardware implementation and give us some knowledge about the functions.
Copyright 2001, Agrawal & BushnellLecture 6:Fault Simulation1 VLSI Testing Lecture 6: Fault Simulation Dr. Vishwani D. Agrawal James J. Danaher Professor.
Fault Models, Fault Simulation and Test Generation Vishwani D. Agrawal Department of ECE, Auburn University Auburn, AL 36849, USA
TOPIC : Introduction to Sequential Circuits UNIT 1: Modeling and Simulation Module 4 : Modeling Sequential Circuits.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 61 Lecture 6 Logic Simulation n What is simulation? n Design verification n Circuit modeling n True-value.
VLSI Testing Lecture 5: Logic Simulation
Topics Modeling with hardware description languages (HDLs).
VLSI Testing Lecture 5: Logic Simulation
Vishwani D. Agrawal Department of ECE, Auburn University
RTL Simulator for VChip Emulator
VLSI Testing Lecture 6: Fault Simulation
Lecture 7 Fault Simulation
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
VLSI Testing Lecture 6: Fault Simulation
Topics Modeling with hardware description languages (HDLs).
Hardware Description Languages
FSM MODELING MOORE FSM MELAY FSM. Introduction to DIGITAL CIRCUITS MODELING & VERIFICATION using VERILOG [Part-2]
Sungho Kang Yonsei University
Design & Co-design of Embedded Systems

Application-Specific Customization of Soft Processor Microarchitecture
Presentation transcript:

Cycle Based Simulation Mehrdad Abutalebi

Outline Motivation Cycle Simulation Cycle Simulation Techniques Cycle Simulation Specifications Areas of Applicability

Motivation Advanced today ’ s technologies Large circuit densities Large verification time Time to market Need for faster simulators New innovation and techniques Cycle based simulation

Cycle Simulation Cycle simulation is a technique for simulating circuits that do not take into account the detailed circuit timing Cycle simulation computes the steady state response of the circuit at each clock cycle boundary Need for another tool for timing analysis

Cycle Simulation

Cycle Simulation Techniques Event ordering and delayed evaluation All scheduled evaluations will take place at active edge of clock All events are put in an event orderer which eliminate unnecessary evaluations

Cycle Simulation Techniques Cycle based oblivious simulation Logic levelization is applied to the design Clocked elements are clocked at active edge Combinational logic is evaluated during the cycle

Cycle Simulation Specifications Ignore timing and reducing the state set(2 value and sometime 4 value) Efficient evaluation and faster simulation Circuit levelization at compile time Each element is evaluated once during clock cycle Simple data structure for simulator 10 to 100 times performance over event driven simulation

Areas of Applicability Large synthesizable or logic optimizable designs Designs that are mostly synchronous Designs meet the cycle simulation subset RTL regression Gate-level verification