A User s Experience with SystemVerilog
|
|
- Jonathan Cameron
- 6 years ago
- Views:
Transcription
1 A User s Experience with SystemVerilog and Doulos Ltd Ringwood, U.K. BH24 1AW jonathan.bromley@doulos.com michael.smith@doulos.com
2 2 Objectives Practical use of SystemVerilog Synopsys tools (VCS, Design Compiler) Aim for no-compromise SystemVerilog methodology New data types wherever appropriate Use variables everywhere - no nets! Interfaces for better abstraction of interconnect Transaction-driven test fixture, assertion checking Awareness of the landscape Work around tool limitations - it s very early days yet! Note upcoming SystemVerilog 3.1a changes/enhancements
3 3 Outline Overview of design and test fixture Using SystemVerilog in the design peripheral bus slave outputs Input data registers data control CORDIC rotator Design under test (DUT) Challenges in bus modelling master Test stimulus generator stimulus Reference model of rotator expected results results from DUT Results checker Using SystemVerilog in verification Challenges in transaction-based verification
4 4 Design and Test Fixture peripheral bus slave outputs Input data registers data control CORDIC rotator Legend: Legend: Synthesisable SystemVerilog SystemVerilog test fixture Design under test (DUT) C software master Test stimulus generator stimulus Reference model of rotator expected results results from DUT Results checker
5 Practical Problems That Make It Interesting 5 Design needs 16 clock cycles to perform a calculation start/ready handshake flags appear in bus-visible registers Test fixture must mimic software behaviour Set up inputs Hit start Poll until ready Read outputs clock start inputs ready outputs calculation takes 16 clock cycles
6 6 Bus is a simple synchronous bus Intended for small numbers of slow peripherals Only one master Only two kinds of bus cycle: Every transfer takes PCLK 2 clock cycles PSEL Read Write Part of AMBA specification (ARM Ltd) PADDR PWRITE PWDATA PENABLE Tailored for on-chip applications PRDATA read cycle write cycle
7 7 Verilog-2001 At Last! Life is better signed values, signed arithmetic localparam ANSI-style port declarations multi-dimensional arrays generate named parameter association We have avoided recommending Verilog-2001 in training patchy tool support but support is now complete in many tools Irritations can t define localparam within generate block multi-dimensional array ports???
8 8 Synthesisable SystemVerilog Data types to match the problem packed struct, union for different registers on common bus Structural driver on variable full power of variable data type system available throughout a design Note: can t mix structural and procedural drivers on fields of a packed object typedef struct packed { logic [15:10] Opcode; logic [9:0] Operand; } T_Instr; typedef struct packed { logic [15:1] Junk; logic Ready; } T_StatusWord; module T_Instr Instr; T_StatusWord Stat; logic [15:0] Databus; assign Databus = Adr[0]? Instr: Stat;
9 9 Synthesisable SystemVerilog Inquiry function $bits()for parameterisation via types Makes VHDL users very happy! Where to put this typedef? SV3.1a will offer packages module localparam Width = $bits (T_Instr T_Instr Instr; logic [Width-1:0] Databus; assign Instr = Databus; typedef struct packed { logic [15:10] Opcode; logic [9:0] Operand; } T_Instr;
10 10 Interfaces for Design Interface port is like a handle to a module instance module Top; Rst_Itf R1; Device D1(R1.RTL Rst_Itf R2; Device D2(R2.RTL R1 Rst_Itf; logic Reset; modport RTL (input Reset R2 Rst_Itf; logic Reset; modport RTL (input Reset D1 module Device ( Rst_Itf.RTL Wires R1.Reset D2 module Device ( Rst_Itf.RTL Wires R2.Reset
11 11 Interfaces for Design Interface port is like a handle to a module instance module Top; Cross-module Rst_Itf R1; Cross-module references references -- synthesis Device D1(R1.RTL synthesis issues? issues? Rst_Itf R2; Device D2(R2.RTL R1 Rst_Itf; logic Reset; modport RTL (input Reset R2 Rst_Itf; logic Reset; modport RTL (input Reset D1 module Device ( Rst_Itf.RTL Wires D2 module Device ( Rst_Itf.RTL Wires Wires.Reset )
12 12 Interfaces for Design module Top; Rst_Itf R1; Device D1(R1.RTL Rst_Itf R2; Device D2(R2.RTL Cross-module Cross-module references references -- synthesis synthesis issues? issues? modport modport controls controls visibility visibility and and direction direction -- not not yet yet respected respected in in VCS7.1 VCS7.1 R1 Rst_Itf; logic Reset; modport RTL (input Reset R2 Rst_Itf; logic Reset; modport RTL (input Reset D1 module Device ( Rst_Itf.RTL Wires D2 module Device ( Rst_Itf.RTL Wires
13 13 Interfaces in the Test Fixture Opportunity for transaction-level modelling via import task module Top; Rst_Itf R; jb: jb: provide provide V95/SV3.1 V95/SV3.1 parallel parallel Rst_Itf; examples examples TestCase T(R.Beh logic Reset; Device D(R.RTL task Pulse(input time T endmodule module endtask Device (Rst_Itf.RTL Wires Wires.Reset) modport Beh ( import task Pulse; module TestCase (Rst_Itf.Beh RstGen initial begin modport RTL (input Reset RstGen.Pulse(20 end
14 14 Interfaces in the Test Fixture Opportunity for transaction-level modelling via import task module Top; Rst_Itf R; jb: jb: provide provide V95/SV3.1 V95/SV3.1 parallel parallel Rst_Itf; examples examples TestCase T(R.Beh logic Reset; Device D(R.RTL task Pulse(input time T endmodule module endtask Device (Rst_Itf.RTL Wires Wires.Reset) modport Beh ( import task Pulse; module TestCase (Rst_Itf.Beh RstGen initial begin modport RTL (input Reset RstGen.Pulse(20 Just Just like like traditional traditional BFM BFM end -- but but don t don t need need to to know know its its instance instance name name in in the the hierarchy hierarchy
15 15 Assertions Natural way to describe bus activity, transactions Permanently active checker property PCLK) ((PENABLE && PWRITE) -> $stable(pwdata) endproperty PCLK PSEL PADDR PWRITE Coverage - did it happen? automatic, inflexible in SV a adds coverpoint PWDATA PENABLE PRDATA read cycle write cycle
16 16 Sample Project Revisited peripheral bus slave outputs Input data registers data control CORDIC rotator Legend: Legend: Synthesisable SystemVerilog SystemVerilog test fixture Design under test (DUT) C software master Test stimulus generator stimulus Reference model of rotator expected results results from DUT Results checker
17 17 Easier C Interface peripheral bus slave master outputs Test stimulus generator stimulus Input data registers data control CORDIC rotator Design under test (DUT) Reference model of rotator expected results results from DUT Results checker extern "C" void vlog_cordic_model ( input int reducenotrotate, input int anglein, input int xin, input int yin, output int angleout, output int xout, output int yout This This is is VCS VCS 7.1 s 7.1 s DirectC DirectC - - SystemVerilog3.1 SystemVerilog3.1 has has similar similar DPI DPI // Evaluate expected result vlog_cordic_model( reduce, angle, x, y, exp_angle, exp_x, exp_y No No PLI PLI linkage linkage tables! tables!
18 18 Easier C Interface peripheral bus slave master outputs Test stimulus generator stimulus Input data registers C helper helper functions functions data control CORDIC rotator Design under test (DUT) Reference model of rotator expected results results from DUT void vlog_cordic_model ( scalar reducenotrotate, int anglein, int xin, Plain Plain C code code -- int yin, no no need need for for PLI PLI calls calls to to int* angleout, get get argument argument values! values! int* xout, int* yout ) { Results checker double a, x, y, xr, yr, s, c; // Get trig values from Verilog info x = verilog_to_trig(xin y = verilog_to_trig(yin #define scalar_0 0 #define scalar_1 1 #define scalar_z 2 #define scalar_x 3 if (reducenotrotate == scalar_1 ) { // Determine rotation to reduce y to 0 a = -atan2(y, x
19 19 Interfaces and Modports ; logic PCLK, PSEL, modport RTL_slave ( input PCLK, input PSEL, modport TF_master ( import task read, import task write task read ( input [15:0] adrs, output [15:0] data ) endtask end peripheral bus my_apb( slave master outputs Test stimulus generator stimulus Instances in test fixture Input Instances data data in test fixture registers CORDIC control rotator CORDIC DUT(my_apb.RTL_slave Design under test (DUT) Tester t(my_apb.tf_master Reference model of rotator expected results results from DUT Results checker module Tester(.TF_master Bus initial begin : TestSequence logic [15:0] status; Bus.read(16 hffe3, status end
20 20 Interfaces, Modports and How How to to distribute distribute this this functionality? functionality? master PRDATA Slave select address bits Readback multiplexer PCLK, PADDR, PWRITE, PWDATA, PENABLE modport modport should should model model the the slave s slave s hardware hardware PSEL PRDATA#1 PSEL#1 slave #1 This This functionality functionality can can easily easily go go in in each each slave slave PSEL decoder PRDATA#N PSEL#N slave #N All All these these modports modports are are different different
21 21 Interfaces, Modports and Slave select address bits How How to to distribute distribute this this functionality? functionality? master SystemVerilog 3.1a 3.1a has has generatable modports PRDATA PSEL Readback multiplexer PCLK, PADDR, PWRITE, PWDATA, PENABLE PRDATA#1 PSEL#1 slave #1 This This functionality functionality can can easily easily go go in in each each slave slave PSEL decoder PRDATA#N PSEL#N slave #N All All these these modports modports are are different different
22 22 Conclusions SystemVerilog 3.1 is useful now incremental improvements such as.* typedef, struct, union, packed $bits() simple s Synthesis? Synthesis? Constrained-random stimulus is important not investigated in this example We look forward to the full functionality of s Synthesis? Synthesis? DirectC is good, DPI will give same benefits AND standardisation Assertions are powerful and convenient but we need SV3.1a cover, coverpoint to match capabilities of specialised testbench automation tools
Seamless Refinement from Transaction Level to RTL Using SystemVerilog Interfaces
Seamless Refinement from Transaction Level to RTL Using SystemVerilog Interfaces Jonathan Bromley Doulos Ltd, Ringwood, UK jonathan.bromley@doulos.com 2 Outline Introduction: refinement steps and verification
More informationAPB4 GPIO. APB4 GPIO Datasheet Roa Logic, All rights reserved
1 APB4 GPIO Datasheet 2 Introduction The APB4 GPIO Core is fully parameterised core designed to provide a userdefined number of general purpose, bidirectional IO to a design. The IO are accessible via
More informationRoa Logic. APB4 Multiplexer. Datasheet. October, c Roa Logic B.V.
Roa Logic Silicon Proven IP for FPGA and ASIC www.roalogic.com APB4 Multiplexer Datasheet http://roalogic.github.io/plic October, 2017 c Roa Logic B.V. Contents 1 Introduction 1 1.1 Features......................................
More informationesi-multichannel Timer
1 Contents 1 Contents 2 2 Overview 3 3 Hardware Interface 4 4 Software Interface 5 4.1 Register Map 5 4.2 Interrupts 6 Version 2.2 - Confidential 2 of 6 2010 EnSilica Ltd, All Rights Reserved 2 Overview
More informationUsing bind for Class-based Testbench Reuse with Mixed- Language Designs
Using bind for Class-based Testbench Reuse with Mixed- Language Designs Doug Smith Doulos Morgan Hill, California, USA doug.smith@doulos.com ABSTRACT Significant effort goes into building block-level class-based
More informationAbstract BFMs Outshine Virtual Interfaces for Advanced SystemVerilog Testbenches
Abstract BFMs Outshine Virtual Interfaces for Advanced SystemVerilog Testbenches David Rich Mentor Graphics, Inc San Jose, CA dave_rich@mentor.com Jonathan Bromley Doulos Ltd Ringwood, England jonathan.bromley@doulos.com
More informationModular SystemVerilog
SystemVerilog (IEEE 1800 TM ) is a significant new language based on the widely used and industrystandard Verilog hardware description language. The SystemVerilog extensions enhance Verilog in a number
More informationUVM for VHDL. Fast-track Verilog for VHDL Users. Cont.
UVM for VHDL Fast-track Verilog for VHDL Users Course Description Verilog for VHDL Users is an intensive 2-day course, converting knowledge of VHDL to practical Verilog skills. Contrasting Verilog and
More informationSystemVerilog 3.1: It s What The DAVEs In Your Company Asked For
February 24-26, 2003 SystemVerilog 3.1: It s What The DAVEs In Your Company Asked For Stuart HDL, Inc. www.sutherland-hdl.com 2/27/2003 1 This presentation will Define what is SystemVerilog Provide an
More informationSystemVerilog Design: User Experience Defines Multi-Tool, Multi-Vendor Language Working Set Experience from Four Years of SVD Adoption
SystemVerilog Design: User Experience Defines Multi-Tool, Multi-Vendor Language Working Set Experience from Four Years of SVD Adoption Junette Tan, PMC Agenda Motivating Factors for SV Adoption Migration
More informationEECS 373 Design of Microprocessor-Based Systems
EECS 373 Design of Microprocessor-Based Systems Ron Dreslinski University of Michigan Lecture 5: Memory-mapped I/O review, APB, Mostly APB though J January 18 th 2018 1 Administra,ve Midterm Exam: Monday,
More informationDesigning the Future with Efficiency
Designing the Future with Efficiency Guidance to Adopting SystemVerilog for Design! Axel Scherer, Cadence Design Systems, Chelmsford, MA, USA (axels@cadence.com) Junette Tan, PMC Sierra, Burnaby, BC, Canada
More informationPG DIPLOMA COURSE IN VERIFICATION USING SYSTEMVERILOG & UVM NEOSCHIP TECHNOLOGIES
PG DIPLOMA COURSE IN VERIFICATION USING SYSTEMVERILOG & UVM An Initiative by Industry Experts With Qualification from IITs and IISCs Address: NEOSCHIP TECHNOLOGIES 3rd Floor, Sai Durga Enclave, 1099/833-1,
More informationSVA Advanced Topics: SVAUnit and Assertions for Formal
SVA Advanced Topics: SVAUnit and Assertions for Formal SystemVerilog Assertions Verification with SVAUnit Andra Radu Ionuț Ciocîrlan 2/29/2016 Andra Radu - AMIQ Consulting Ionuț Ciocîrlan - AMIQ Consulting
More informationVerification of I2C module for Multiprotocol Serial Controller
e-issn 2455 1392 Volume 2 Issue 4, April 2016 pp. 548-555 Scientific Journal Impact Factor : 3.468 http://www.ijcter.com Verification of I2C module for Multiprotocol Serial Controller Subham Punit Patro1,
More information1 Contents. Version of EnSilica Ltd, All Rights Reserved
1 Contents 1 Contents 2 2 Overview 3 3 Hardware Interface 4 3.1 Resource requirements 4 4 Software Interface 5 4.1 Register Map 5 4.2 Interrupts 7 5 RSA Operation 8 5.1 Introduction 8 5.2 Cycle counts
More informationCoreAHBtoAPB3 v3.1. Handbook
CoreAHBtoAPB3 v3.1 Handbook CoreAHBtoAPB3 v3.1 Handbook Table of Contents Introduction... 3 Core Overview... 3 Key Features... 3 Supported Microsemi FPGA Families... 3 Core Version... 4 Supported Interfaces...
More informationEECS 373 Design of Microprocessor-Based Systems
EECS 373 Design of Microprocessor-Based Systems Ron Dreslinski University of Michigan Lecture 4: Bit of assembly, Memory-mapped I/O, APB January 16, 2018 1 Admin HW2 Due Thursday. HW1 answers posted as
More informationUnifying Design and Verification
Unifying Design and Verification SystemVerilog Overview Agenda SystemVerilog Introduction Synopsys SystemVerilog Solution SystemVerilog Features and Successful Stories 2006 Synopsys, Inc. (2) Agenda SystemVerilog
More informationSunburst Design - Advanced SystemVerilog for Design & Verification by Recognized Verilog & SystemVerilog Guru, Cliff Cummings of Sunburst Design, Inc.
World Class Verilog & SystemVerilog Training Sunburst Design - Advanced SystemVerilog for Design & Verification by Recognized Verilog & SystemVerilog Guru, Cliff Cummings of Sunburst Design, Inc. Cliff
More informationSystemVerilog Lecture 3. Prof. Gerald E. Sobelman Dept. of Electrical and Computer Engineering University of Minnesota Minneapolis, MN USA
SystemVerilog Lecture 3 Prof. Gerald E. Sobelman Dept. of Electrical and Computer Engineering University of Minnesota Minneapolis, MN 55455 USA 1 Outline Design Example: Booth Multiplier Design Example:
More informationVLSI DESIGN OF AMBA BASED AHB2APB BRIDGE
VLSI DESIGN OF AMBA BASED AHB2APB BRIDGE Aparna Kharade 1 and V. Jayashree 2 1 Research Scholar, Electronics Dept., D.K.T.E. Society's Textile and Engineering Institute, Ichalkaranji, Maharashtra, India.
More informationEECS 373 Design of Microprocessor-Based Systems
EECS 373 Design of Microprocessor-Based Systems Mark Brehob University of Michigan Lecture 5: Memory-mapped I/O review, APB, start interrupts. Mostly APB though Sept. 19 th 2018 1 Today Memory-mapped I/O
More informationEECS 373 Practice Midterm & Homework #2 Fall 2011
Exam #: EECS 373 Practice Midterm & Homework #2 Fall 2011 Name: Uniquename: Sign the honor code: I have neither given nor received aid on this exam nor observed anyone else doing so. Scores: Problem #
More informationEECS 373 Midterm Winter 2013
EECS 373 Midterm Winter 2013 Name: unique name: Sign the honor code: I have neither given nor received aid on this exam nor observed anyone else doing so. Scores: # Page Points 2 /15 3 /20 4 /12 5 /13
More informationEECS 373 Design of Microprocessor-Based Systems
EECS 373 Design of Microprocessor-Based Systems Branden Ghena University of Michigan Lecture 4: Memory-Mapped I/O, Bus Architectures September 11, 2014 Slides developed in part by Mark Brehob & Prabal
More informationModeling Usable & Reusable Transactors in SystemVerilog Janick Bergeron, Scientist
Modeling Usable & Reusable Transactors in SystemVerilog Janick Bergeron, Scientist Verification Group, Synopsys Inc janick@synopsys.com Transactors Definition Building blocks of verification environments
More informationEECS 373 Lab 3: Introduction to Memory Mapped I/O
EECS 373 Lab 3: Introduction to Memory Mapped I/O In this lab we will learn: To develop custom peripheral hardware in the SmartFusion FPGA using the Libero CAD tools. The fundamentals of memory-mapped
More informationChap 4 Connecting the Testbench and. Design. Interfaces Clocking blocks Program blocks The end of simulation Top level scope Assertions
Chap 4 Connecting the Testbench and Interfaces Clocking blocks Program blocks The end of simulation Top level scope Assertions Design 1 4 Connecting the Testbench and Design Testbench wraps around the
More information1 Contents 2 2 Overview 3 3 Hardware Interface 4 4 Software Interface Register Map Interrupts 6 5 Revision History 8
1 Contents 1 Contents 2 2 Overview 3 3 Hardware Interface 4 4 Software Interface 5 4.1 Register Map 5 4.2 Interrupts 6 5 Revision History 8 Version 2.3.2 - Confidential 2 of 8 2011 EnSilica Ltd, All Rights
More informationSVA in a UVM Class-based Environment by Ben Cohen, author, consultant, and trainer
SVA in a UVM Class-based Environment by Ben Cohen, author, consultant, and trainer INTRODUCTION Verification can be defined as the check that the design meets the requirements. How can this be achieved?
More informationCreating Stimulus and Stimulating Creativity:
Creating Stimulus and Stimulating Creativity: Using the VMM Scenario Generator Jonathan Bromley Doulos Ltd, Ringwood, UK jonathan.bromley@doulos.com 2 Outline Introduction: motivation for scenarios The
More informationHardware Implementation of AMBA Processor Interface Using Verilog and FPGA
Hardware Implementation of AMBA Processor Interface Using Verilog and FPGA Iqbalur Rahman Rokon, Toufiq Rahman, and Ahsanuzzaman Abstract - In this paper, the design of AMBA processor interface and its
More informationList of Code Samples. xiii
xiii List of Code Samples Sample 1-1 Driving the APB pins 16 Sample 1-2 A task to drive the APB pins 17 Sample 1-3 Low-level Verilog test 17 Sample 1-4 Basic transactor code 21 Sample 2-1 Using the logic
More informationDESIGN AND VERIFICATION ANALYSIS OF APB3 PROTOCOL WITH COVERAGE
DESIGN AND VERIFICATION ANALYSIS OF APB3 PROTOCOL WITH COVERAGE Akhilesh Kumar and Richa Sinha Department of E&C Engineering, NIT Jamshedpur, Jharkhand, India ABSTRACT Today in the era of modern technology
More informationDEVELOPMENT AND VERIFICATION OF AHB2APB BRIDGE PROTOCOL USING UVM TECHNIQUE
DEVELOPMENT AND VERIFICATION OF AHB2APB BRIDGE PROTOCOL USING UVM TECHNIQUE N.G.N.PRASAD Assistant Professor K.I.E.T College, Korangi Abstract: The AMBA AHB is for high-performance, high clock frequency
More informationEECS 373, Homework 4, Fall 2018 Assigned: Wednesday 10/3; Due: Wednesday 10/10 at 10pm
EECS 373, Homework 4, Fall 2018 Assigned: Wednesday 10/3; Due: Wednesday 10/10 at 10pm 1. Read https://blog.feabhas.com/2013/01/weak-linkage-in-c-programming/ [4 points] a. Define the term weak linkage.
More informationWhat, If Anything, In SystemVerilog Will Help Me With FPGA-based Design. Stuart Sutherland, Consultant and Trainer, Sutherland HDL, Inc.
What, If Anything, In SystemVerilog Will Help Me With FPGA-based Design Stuart Sutherland, Consultant and Trainer, Sutherland HDL, Inc. About the Presenter... Stuart Sutherland, SystemVerilog wizard Independent
More informationInternational Journal of Applied Sciences, Engineering and Management ISSN , Vol. 05, No. 02, March 2016, pp
Design of High Speed AMBA APB Master Slave Burst Data Transfer for ARM Microcontroller Kottu Veeranna Babu 1, B. Naveen Kumar 2, B.V.Reddy 3 1 M.Tech Embedded Systems Student, Vikas College of Engineering
More informationVerification Prowess with the UVM Harness
Verification Prowess with the UVM Harness Interface Techniques for Advanced Verification Strategies Jeff Vance, Jeff Montesano Verilab Inc. October 19, 2017 Austin SNUG 2017 1 Agenda Introduction UVM Harness
More information1 Contents. Version of EnSilica Ltd, All Rights Reserved
56/SHA224 1 Contents 1 Contents 2 2 Overview 3 3 Hardware Interface 4 3.1 Area 4 4 Software Interface 5 4.1 Register Map 5 5 SHA256/SHA224 Operation 8 5.1 Introduction 8 5.2 Cycle counts 8 6 Revision History
More informationEECS 373 Midterm Winter 2012
EECS 373 Midterm Winter 2012 Name: unique name: Sign the honor code: I have neither given nor received aid on this exam nor observed anyone else doing so. Nor did I discuss this exam with anyone after
More informationSpeed up Emulation Debugging using Whitebox Assertions
Speed up Emulation Debugging using Whitebox Assertions Ricky Wang ricky@atrenta.com This presentation may contain forward-looking statements regarding product development. Information or statements contained
More informationThe Verilog Language COMS W Prof. Stephen A. Edwards Fall 2002 Columbia University Department of Computer Science
The Verilog Language COMS W4995-02 Prof. Stephen A. Edwards Fall 2002 Columbia University Department of Computer Science The Verilog Language Originally a modeling language for a very efficient event-driven
More informationModule- or Class-Based URM? A Pragmatic Guide to Creating Verification Environments in SystemVerilog. Paradigm Works, Inc. Dr.
Module- or Class-Based URM? A Pragmatic Guide to Creating Verification Environments in SystemVerilog Paradigm Works, Inc. Dr. Ambar Sarkar Session # 2.15 Presented at Module- or Class-Based URM? A Pragmatic
More informationVERIFICATION OF AHB PROTOCOL USING SYSTEM VERILOG ASSERTIONS
VERIFICATION OF AHB PROTOCOL USING SYSTEM VERILOG ASSERTIONS Nikhil B. Gaikwad 1, Vijay N. Patil 2 1 P.G. Student, Electronics & Telecommunication Department, Pimpri Chinchwad College of Engineering, Pune,
More informationTowards a Practical Design Methodology with SystemVerilog Interfaces and Modports
Towards a Practical Design Methodology with SystemVerilog Interfaces and Modports Jonathan Bromley Doulos Ltd Ringwood, U.K. jonathan.bromley@doulos.com Abstract Explores the benefits and limitations of
More informationHDL Introduction and Reuse
Verilog HDL Introduction and Reuse P. Bakowski bako@ieee.org Verilog HDL Verilog IEEE 13641 1995 95 P. Bakowski 2 Verilog HDL Verilog IEEE 13641 Verilog AMS 1995 95 1998 P. Bakowski 3 Verilog HDL Verilog
More informationModule 4. Design of Embedded Processors. Version 2 EE IIT, Kharagpur 1
Module 4 Design of Embedded Processors Version 2 EE IIT, Kharagpur 1 Lesson 23 Introduction to Hardware Description Languages-III Version 2 EE IIT, Kharagpur 2 Instructional Objectives At the end of the
More informationSystemVerilog Essentials Simulation & Synthesis
SystemVerilog Essentials Simulation & Synthesis Course Description This course provides all necessary theoretical and practical know-how to design programmable logic devices using SystemVerilog standard
More informationVCS SystemVerilog Assertions Training Exercises
VCS SystemVerilog Assertions Training Exercises LAB : SVA / VCS Overall Inline Tool Flow using checkers Goal Get Familiar with Inlined SVA Flow Location SVA/lab_ Design Traffic Light Controller Allocated
More informationProject 1a: Hello World!
Project 1a: Hello World! 1. Download cse465.zip from the web page. Unzip this using 7-Zip (not the Windows Utility it doesn t unzip files starting with a period) to your h:\ drive or wherever your CEC
More information7.3 Case Study - FV of a traffic light controller
Formal Verification Using Assertions 247 7.3 Case Study - FV of a traffic light controller 7.3.1 Model This design represents a simple traffic light controller for a North-South and East-West intersection.
More informationAssertion Based Verification of AMBA-AHB Using System Verilog
Assertion Based Verification of AMBA-AHB Using System Verilog N.Karthik M.Tech VLSI, CMR Institute of Technology, Kandlakoya Village, Medchal Road, Hyderabad, Telangana 501401. M.Gurunadha Babu Professor
More informationExtending SystemVerilog Data Types to Nets
Extending SystemVerilog Data Types to Nets SystemVerilog extended Verilog by adding powerful new data types and operators that can be used to declare and manipulate parameters and variables. Extensions
More information1 Contents. Version of EnSilica Ltd, All Rights Reserved
1 Contents esi-apb-aes 1 Contents 2 2 Overview 3 3 Hardware Interface 4 3.1 Area 5 4 Software Interface 6 4.1 Register Map 6 5 AES Operation 11 5.1 Introduction 11 5.2 DMA operation 12 5.3 CBC operation
More informationDesign and Coverage Driven Verification of AXI2OCP Bridge for Industrial SoC Designs
Design and Coverage Driven Verification of AXI2OCP Bridge for Industrial SoC Designs Limbanna. P. Rathod, Dr. Jayanthi. K. Murthy, Mr. Shaik Chand Basha Post Graduate student, Associate Professor - Dept.
More informationUVM hardware assisted acceleration with FPGA co-emulation
UVM hardware assisted acceleration with FPGA co-emulation Alex Grove, Aldec Inc. Accellera Systems Initiative 1 Tutorial Objectives Discuss use of FPGAs for functional verification, and explain how to
More informationTestbench and Simulation
Testbench and Simulation Graphics: Alexandra Nolte, Gesine Marwedel, 2003 Focus of this Class Understand the simulator Event Based Simulation Testbenches and verification Approaches and metodologies Examples:
More informationEECS 373 Practice Midterm / Homework #3 Fall 2014
Exam #: EECS 373 Practice Midterm / Homework #3 Fall 2014 Name: Uniquename: Sign the honor code: I have neither given nor received aid on this exam nor observed anyone else doing so. Scores: Problem #
More informationVerification Prowess with the UVM Harness
Interface Techniques for Advanced Verification Strategies Jeff Vance, Jeff Montesano, Kevin Johnston Verilab Inc. Austin, Texas www.verilab.com ABSTRACT In this paper we show how to create a UVM testbench
More informationSunburst Design - Comprehensive SystemVerilog Design & Synthesis by Recognized Verilog & SystemVerilog Guru, Cliff Cummings of Sunburst Design, Inc.
World Class SystemVerilog & UVM Training Sunburst Design - Comprehensive SystemVerilog Design & Synthesis by Recognized Verilog & SystemVerilog Guru, Cliff Cummings of Sunburst Design, Inc. Cliff Cummings
More informationTHE DEVELOPMENT OF ADVANCED VERIFICATION ENVIRONMENTS USING SYSTEM VERILOG
ISSC 2008, Galway, June 18-19 THE DEVELOPMENT OF ADVANCED VERIFICATION ENVIRONMENTS USING SYSTEM VERILOG Martin Keaveney, Anthony McMahon, Niall O Keeffe *, Kevin Keane, James O Reilly *Department of Electronic
More informationAvnetCore: Datasheet
AvnetCore: Datasheet CAN Controller with / FIFO Intended Use: Automotive Industry Engine Control Unit Sensors Version 1.0, July 2006 xcan_clk (>8 MHz) pclk reset_n APB Interrupts System Control APB Interface
More informationHardware Design Environments. Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University
Hardware Design Environments Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University Outline Welcome to COE 405 Digital System Design Design Domains and Levels of Abstractions Synthesis
More informationתכן חומרה בשפת VERILOG הפקולטה להנדסה
תכן חומרה בשפת VERILOG סמסטר ב' תשע"ג משה דורון מרצה: מתרגלים: אריאל בורג, חג'ג' חן הפקולטה להנדסה 1 Course Topics - Outline Lecture 1 - Introduction Lecture 2 - Lexical conventions Lecture 3 - Data types
More informationEECS 373 Midterm 2 Fall 2018
EECS 373 Midterm 2 Fall 2018 Name: unique name: Sign the honor code: I have neither given nor received aid on this exam nor observed anyone else doing so. Nor did I discuss this exam with anyone after
More information101-1 Under-Graduate Project Digital IC Design Flow
101-1 Under-Graduate Project Digital IC Design Flow Speaker: Ming-Chun Hsiao Adviser: Prof. An-Yeu Wu Date: 2012/9/25 ACCESS IC LAB Outline Introduction to Integrated Circuit IC Design Flow Verilog HDL
More informationVerilog Fundamentals. Shubham Singh. Junior Undergrad. Electrical Engineering
Verilog Fundamentals Shubham Singh Junior Undergrad. Electrical Engineering VERILOG FUNDAMENTALS HDLs HISTORY HOW FPGA & VERILOG ARE RELATED CODING IN VERILOG HDLs HISTORY HDL HARDWARE DESCRIPTION LANGUAGE
More informationLeveraging Formal Verification Throughout the Entire Design Cycle
Leveraging Formal Verification Throughout the Entire Design Cycle Verification Futures Page 1 2012, Jasper Design Automation Objectives for This Presentation Highlight several areas where formal verification
More informationSubject: Scheduling Region Questions and Problems of new SystemVerilog commands
Subject: Scheduling Region Questions and Problems of new SystemVerilog commands I have read and re-read sections 14-17 of the SystemVerilog 3.1 Standard multiple times and am still confused about exactly
More informationOVERVIEW: ============================================================ REPLACE
OVERVIEW: With mantis 928, formal arguments to properties and sequences are defined to apply to a list of arguments that follow, much like tasks and function arguments. Previously, the type had to be replicated
More informationwidth: 10, 20 or 40-bit interface maximum number of lanes in any direction
MIPI LLI Verification using Questa Verification IP by Vaibhav Gupta, Lead Member Technical Staff and Yogesh Chaudhary, Consulting Staff, Mentor Graphics This article describes how incorporating LLI Questa
More information7.3.3 Same Inputs in Antecedent and Consequent
Formal Verification Using Assertions 249 There are some special scenarios in which the user may want to intentionally toggle the reset signal during a session. This may be needed to check conditions such
More informationVertical Reuse of functional verification from subsystem to SoC level (with seamless SoC emulation)
Vertical Reuse of functional verification from subsystem to SoC level (with seamless SoC emulation) Pranav Kumar, Staff Engineer Digvijaya Pratap SINGH, Sr. Staff Engineer STMicroelectronics, Greater NOIDA,
More informationVerilog. What is Verilog? VHDL vs. Verilog. Hardware description language: Two major languages. Many EDA tools support HDL-based design
Verilog What is Verilog? Hardware description language: Are used to describe digital system in text form Used for modeling, simulation, design Two major languages Verilog (IEEE 1364), latest version is
More informationSystemVerilog Data Types
SystemVerilog Data Types This tutorial describes the new data types that Systemverilog introduces. Most of these are synthesisable, and should make RTL descriptions easier to write and understand. Integer
More informationContents 1 Introduction 2 Functional Verification: Challenges and Solutions 3 SystemVerilog Paradigm 4 UVM (Universal Verification Methodology)
1 Introduction............................................... 1 1.1 Functional Design Verification: Current State of Affair......... 2 1.2 Where Are the Bugs?.................................... 3 2 Functional
More informationFP&A Simulation. A Complete Step-by-Step Guide. Ray Salemi
FP&A Simulation A Complete Step-by-Step Guide Ray Salemi Contents Acknowledgments vii Foreword ix Preface xi The Boiled Frog 1 A Boiled Story 3 Root Cause Analysis 4 The "Verification Complete" Milestone
More informationIntroduction to SystemC
Introduction to SystemC Damien Hubaux - CETIC Outline?? A language A C++ library February 12, 2004 SystemC, an alternative for system modeling and synthesis? 2 Why SystemC? Needs Increasing complexity,
More informationRef: AMBA Specification Rev. 2.0
AMBA Ref: AMBA Specification Rev. 2.0 1 Outline Overview AHB APB Test methodology SoC Design Lab Shao-Yi Chien 2 Outline Overview AHB APB Test methodology SoC Design Lab Shao-Yi Chien 3 BUS Brief In a
More informationEECS 373 Fall 2018 Homework #3
EECS 373 Fall 2018 Homework #3 Answers 1) Loaders, Linkers and Executables a) In straightforward English, explain the role of a linker. [7 points] A linker receives object files as input and must emit
More informationEECS 4340: Computer Hardware Design Unit 4: Validation
EECS 4340: Unit 4: Validation Prof. Simha Sethumadhavan Reference Book: System Verilog for Verification Agenda Last Unit Design abstractions Basic primitives This Unit Validation Forthcoming Design Tips
More informationSystem-Level Verification Platform using SystemVerilog Layered Testbench & SystemC OOP
, pp.221-230 http://dx.doi.org/10.14257/ijca.2014.7.2.21 System-Level Verification Platform using SystemVerilog Layered Testbench & SystemC OOP Young-Jin Oh and Gi-Yong Song * Department of Electronics
More informationSynthesizable Verilog
Synthesizable Verilog Courtesy of Dr. Edwards@Columbia, and Dr. Franzon@NCSU http://csce.uark.edu +1 (479) 575-6043 yrpeng@uark.edu Design Methodology Structure and Function (Behavior) of a Design HDL
More informationSystemVerilog For Design Second Edition
SystemVerilog For Design Second Edition A Guide to Using SystemVerilog for Hardware Design and Modeling by Stuart Sutherland Simon Davidmann Peter Flake Foreword by Phil Moorby 4y Spri ringer Table of
More informationEECS 373 Midterm Winter 2016
EECS 373 Midterm Winter 2016 Name: unique name: Sign the honor code: I have neither given nor received aid on this exam nor observed anyone else doing so. Nor did I discuss this exam with anyone after
More information6 Month Certificate Program in VLSI Design & Verification" with Industry Level Projects. Tevatron Technologies Prívate Limited
6 Month Certificate Program in VLSI Design & Verification" with Industry Level Projects.. : Tevatron Technologies Prívate Limited Embedded! Robotics! IoT! VLSI Design! Projects! Technical Consultancy!
More informationAPB Free ware, 2015 Fen Logic Ltd.
APB Free ware, 205 Fen Logic Ltd. The ARM APB interface is used by many IP providers. In this directory you will find various APB related code examples. The docs directory has a copy of the ARM APB AMBA
More informationConstrained Random Data Generation Using SystemVerilog
Constrained Random Data Generation Using SystemVerilog Tim Pylant, Cadence Design Systems, Inc. 1 Ideal Stimulus Generation Need a way to generate stimulus without long, manual process Data should be random
More informationAXI4-Stream Verification IP v1.0
AXI4-Stream Verification IP v1.0 LogiCORE IP Product Guide Vivado Design Suite Table of Contents IP Facts Chapter 1: Overview Feature Summary..................................................................
More informationVerilog AHB Testbench User's Guide
Digital Logic and Electronic Systems Design Company Verilog AHB Testbench User's Guide Pulse Logic www.pulselogic.com.pl e-mail: info@pulselogic.com.pl Document version: 1.0 Document date: March 2010 Table
More informationGetting to Grips with the SystemVerilog Scheduler
Getting to Grips with the SystemVerilog Scheduler Alan Fitch, Doulos 1 SystemVerilog Scheduler The Verilog Scheduler SystemVerilog 2005 SystemVerilog 2009/2012 Gotchas!... and Conclusions Verilog Scheduler
More information2. Learn how to use Bus Functional Models (BFM) and write test cases for verifying your design.
Verifying your IP Objective The purpose of this tutorial is to guide a user through the simulation and verification framework available in quartus. By the end of this tutorial you will be able to : 1.
More informationFunctional Verification of xhci (extensible host controller Interface) for USB 3.1 Using HDL
Functional Verification of xhci (extensible host controller Interface) for USB 3.1 Using HDL 1 Mr. Dipesh Gehani, 2 Prof. Ketan N. Patel, M.E. Student, Assistant Professor Vishwakarma Government Engineering
More informationVerilog: The Next Generation Accellera s SystemVerilog Standard
Verilog: The Next Generation Accellera s SystemVerilog Standard by Stuart Verilog HD and PI Expert HD, Inc. Training engineers to be HD wizards 1 Overview! Define what is SystemVerilog! Justify the need
More informationCourse Profile SystemVerilog Design
Course Profile SystemVerilog Design I. CONTENTS 1. SystemVerilog for Design (SVD)... 3 2. Class Details:... 3 3. Trainers Profiles... 3 a. Srinivasan Venkataramanan, cto... 3 b. Ajeetha Kumari, ceo AND
More informationSystemVerilog Assertions in the Design Process 213
SystemVerilog Assertions in the Design Process 213 6.6 RTL Design Assertions, generated during the architectural planning phases, greatly facilitate the writing of the RTL implementation because they help
More informationIMPLEMENTATION OF LOW POWER INTERFACE FOR VERIFICATION IP (VIP) OF AXI4 PROTOCOL
e-issn 2455 1392 Volume 2 Issue 8, August 2016 pp. 1 8 Scientific Journal Impact Factor : 3.468 http://www.ijcter.com IMPLEMENTATION OF LOW POWER INTERFACE FOR VERIFICATION IP (VIP) OF AXI4 PROTOCOL Bhavana
More informationRegister Transfer Level in Verilog: Part I
Source: M. Morris Mano and Michael D. Ciletti, Digital Design, 4rd Edition, 2007, Prentice Hall. Register Transfer Level in Verilog: Part I Lan-Da Van ( 范倫達 ), Ph. D. Department of Computer Science National
More information