Verification & Result Generation.

Slides:



Advertisements
Similar presentations
Dependence Precedence. Precedence & Dependence Can we execute a 1000 line program with 1000 processors in one step? What are the issues to deal with in.
Advertisements

Verilog Descriptions of Digital Systems
Multiplexer. A multiplexer (MUX) is a device which selects one of many inputs to a single output. The selection is done by using an input address. Hence,
8255 – PROGRAMMABLE PARALLEL
1 Steps for Production Code Generation Wind Turbine Pitch Controller 1. Generate test data and extract controller 2. Discretize Change integrator blocks.
RADIO FREQUENCY MODULE. Introduction  An RF module is a small electronic circuit used to transmit and receive radio signals.  As the name suggests,
Advanced VLSI Design Project Verification Bobby Dixon ELEC
1 Design For Debug Using DAFCA system Gadi Glikberg 15/6/06.
1 Color Discriminating Tracking System Lloyd Rochester Sam Duncan Ben Schulz Fernando Valentiner.
Anuj Dawar.
Configuration. Mirjana Stojanovic Process of loading bitstream of a design into the configuration memory. Bitstream is the transmission.
CPU Chips The logical pinout of a generic CPU. The arrows indicate input signals and output signals. The short diagonal lines indicate that multiple pins.
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
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.
CHAPTER 8 Developing Hard Macros The topics are: Overview Hard macro design issues Hard macro design process Physical design for hard macros Block integration.
TOPIC : Controllability and Observability
Programmable Logic Controllers LO1: Understand the design and operational characteristics of a PLC system.
RTL Design Methodology Transition from Pseudocode & Interface
Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.
ENG241/ Lab #11 ENG2410 Digital Design LAB #1 Introduction Combinational Logic Design.
George Mason University Timing Analysis ECE 545 Lecture 10a.
Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.
CHAPTER 16 SEQUENTIAL CIRCUIT DESIGN
Characteristic curve auto-generation in saber
Lab 1: Using NIOS II processor for code execution on FPGA
Memory Interfacing.
Topics Modeling with hardware description languages (HDLs).
Microprocessor Systems Design I
Microprocessor Systems Design I
Maj Jeffrey Falkinburg Room 2E46E
THE PROCESS OF EMBEDDED SYSTEM DEVELOPMENT
NS Training Hardware.
Harmonic Distortion Analyzer, Wave Analyzer and Function Generator
Vishwani D. Agrawal Department of ECE, Auburn University
Counters and Registers
Basics of digital systems
Lecture-1 Introduction
DESIGN AND SIMULATION OF A PHASE LOCKED LOOP FOR HIGH SPEED SERDES
RTL Design Methodology
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
Serial Data Hub (Proj Dec13-13).
Created by Luis Chioye Presented by Cynthia Sosa
Lecture 5 – Improved Monte Carlo methods in finance: lab
Cryptography This week we are going to use OpenSSL
Efficient Communication Between Custom IPs and PS.
Matlab as a Design Environment for Wireless ASIC Design
RTL Design Methodology
Project Deliverables ECE 545 – Introduction to VHDL.
Lecture 1.3 Hardware Description Languages (HDLs)
كارت هوشمند چيست وچگونه كار مي‌كند؟
ChipScope Pro Software
FPGA Based Trigger System for the Klystron Department
ECE 3130 – Digital Electronics and Design
Verification Plan & Levels of Verification
Md. Mojahidul Islam Lecturer Dept. of Computer Science & Engineering
Design Specification Document
Md. Mojahidul Islam Lecturer Dept. of Computer Science & Engineering
TUTORIAL An inverting amplifier circuit using Op-amp 741 IC, a feedback resistor, Rf = 95 kΩ and input resistance, Rin is used in a feedback oscillator.
EECE.3170 Microprocessor Systems Design I
ChipScope Pro Software
IEEE Floating Point Adder Verification
RTL Design Methodology
Design of Digital Circuits Lab 6 Supplement: Testing the ALU
RTL Design Methodology
Design Process AKA Modular Design ECE 445.
JTAG, Multi-ICE and Angel
RTL Design Methodology
RTL Design Methodology Transition from Pseudocode & Interface
Secret-Key Encryption
Presentation transcript:

Verification & Result Generation

Overview

Phase I Datapath

Phase I: Verification

Phase I: Verification Consists of one primary process handling input, control and verification against expected output Testbench should focus on the verification of basic functionality of the circuit. At a minimum, it should verify a complete operation for encryption and decryption with two blocks of data. Control signals should emulate the behavior of the future controller

Phase I: Result Generation Generation of results typically cannot be done directly due to limit on the number of pins in the targeted chips. As a result, one must wrap a unit using components such as SIPO (Serial-In-Parallel-Out) and PISO (Parallel-In-Serial-Out) units. An example of the wrapper design can be found in src_rtl/wrappers/CipherCore_Wrapper.vhd

Phase I: Result Generation

SIPO: Serial In Parallel Out

PISO: Parallel In Serial Out

Phase II CipherCore

Phase II: Verification

Phase II: Design Process Understand how the provided Pre- and Post-processors operate. In particular, a user must understand the following: Operation of the processors based on AEAD_Core generics Handshaking operation between CipherCore and the processors Modify the generics settings for AEAD_Core.vhd Develop a CipherCore Controller based on Phase I testbench and your understanding of the above step Place CipherCore_Datapath and CipherCore_Controller in the provided CipherCore.vhd Change default generics in CipherCore.vhd Generate test vectors from AETVgen.py to use with AEAD_tb.vhd to debug your CipherCore Modify generics from AEAD_TB if the default values do not match your algorithm.

Phase II: Result Generation (CipherCore) [optional] Use the provided CipherCore_Wrapper.vhd and set generics to the values used in your AEAD_Core

Phase II: Result Generation (AEAD_Core) Use the provided AEAD_Core_FullWrapper.vhd and set generics to the one used in your AEAD_Core

the automated generation of test vectors Help session with Ice devoted to the automated generation of test vectors and the operation of a universal testbench Saturday 1:00-4:00pm ECE Labs ENGR 3208