1ECE 545 – Introduction to VHDL Project Deliverables.

Slides:



Advertisements
Similar presentations
© 2003 Xilinx, Inc. All Rights Reserved Course Wrap Up DSP Design Flow.
Advertisements

Comprehensive environment for benchmarking using FPGAs: ATHENa - Automated Tool for Hardware EvaluatioN 1.
Introductory Comments Regarding Hardware Description Languages.
The Design Process Outline Goal Reading Design Domain Design Flow
I.1 ii.2 iii.3 iv.4 1+1=. i.1 ii.2 iii.3 iv.4 1+1=
I.1 ii.2 iii.3 iv.4 1+1=. i.1 ii.2 iii.3 iv.4 1+1=
1 Benchmarking of Cryptographic Algorithms in Hardware Ekawat Homsirikamol & Kris Gaj George Mason University USA.
George Mason University ECE 448 – FPGA and ASIC Design with VHDL Finite State Machines State Diagrams, State Tables, Algorithmic State Machine (ASM) Charts,
Final project requirement
ECE 448 – FPGA and ASIC Design with VHDL Lecture 15 External SRAM.
1. Topics to be discussed Introduction Objectives Testing Life Cycle Verification Vs Validation Testing Methodology Testing Levels 2.
ECE 545 Project 1 Part IV Key Scheduling Final Integration List of Deliverables.
Ch.9 CPLD/FPGA Design TAIST ICTES Program VLSI Design Methodology Hiroaki Kunieda Tokyo Institute of Technology.
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
Lecture 9 RTL Design Methodology Sorting Example.
SHA-3 Candidate Evaluation 1. FPGA Benchmarking - Phase Round-2 SHA-3 Candidates implemented by 33 graduate students following the same design.
VHDL Project Specification Naser Mohammadzadeh. Schedule  due date: Tir 18 th 2.
Interfaces to External EDA Tools Debussy Denali SWIFT™ Course 12.
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.
T Iteration Demo Group name [PP|I1|I2] Iteration
STATEFLOW AND SIMULINK TO VERILOG COSIMULATION OF SOME EXAMPLES
ECE 545 Project 2 Specification Part I. Adjust your synthesizable code for Project 1 in such a way that it complies with the following requirements: a.
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:
ECE 545 Project 2 Specification. Project 2 (15 points) – due Tuesday, December 19, noon Application: cryptography OR digital signal processing optimized.
George Mason University Finite State Machines State Diagrams, State Tables, Algorithmic State Machine (ASM) Charts, and VHDL Code ECE 448 Lecture 6.
Lecture 9 RTL Design Methodology. Structure of a Typical Digital System Datapath (Execution Unit) Controller (Control Unit) Data Inputs Data Outputs Control.
RTL Design Methodology Transition from Pseudocode & Interface
Lecture 5B Block Diagrams HASH Example.
T Iteration Demo Group name [PP|I1|I2] Iteration
Lecture 3 RTL Design Methodology Transition from Pseudocode & Interface to a Corresponding Block Diagram.
Hao Zheng Comp Sci & Eng USF CDA 4253 FPGA System Design Chapter 5 Finite State Machines.
Logic Synthesis assign z=a&b a b z What is Synthesis synthesis /sinth siss/ noun ( pl. syntheses /sinth seez/) 1 the combination of components to form.
CDA 4253 FPGA System Design RTL Design Methodology 1 Hao Zheng Comp Sci & Eng USF.
1 ECE 545 – Introduction to VHDL Algorithmic State Machines Sorting Example ECE 656 Lecture 8.
George Mason University Timing Analysis ECE 545 Lecture 10a.
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
03/30/031 ECE Digital System Design & Synthesis Lecture Design Partitioning for Synthesis Strategies  Partition for design reuse  Keep related.
SOFTWARE TESTING Sampath Kumar Vuyyuru. INTRODUCTION Software Testing is a way of executing the software in a controlled manner to check whether the software.
George Mason University ATHENa - Automated Tool for Hardware EvaluatioN ECE 545 Lecture 12.
ECE 545 Project 1 Introduction & Specification Part I.
George Mason University Advanced Testbenches Lecture 4.
Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.
ECE 448 – FPGA and ASIC Design with VHDL George Mason University ECE 448 Lab 2 Implementing Combinational Logic in VHDL.
ATHENa - Automated Tool for Hardware EvaluatioN
Xilinx Spartan-6 FPGA Board Setup
TODAY’S OUTLINE Introduction to Verilog Verilog coding format
RTL Design Methodology Transition from Pseudocode & Interface
ECE 448 Lecture 6 Finite State Machines State Diagrams, State Tables, Algorithmic State Machine (ASM) Charts, and VHDL Code.
Hash Function Performance Metrics
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
RTL Design Methodology
Course Agenda DSP Design Flow.
RTL Design Methodology
Project Deliverables ECE 545 – Introduction to VHDL.
Introduction to Pattern Oriented Analysis and Design (POAD)
ECE 545 Remaining Tasks.
RTL Design Methodology
ECE 448 Lecture 6 Finite State Machines State Diagrams, State Tables, Algorithmic State Machine (ASM) Charts, and VHDL Code.
RTL Design Methodology
RTL Design Methodology Transition from Pseudocode & Interface
RTL Design Methodology
RTL Design Methodology
RTL Design Methodology Transition from Pseudocode & Interface
RTL Design Methodology
RTL Design Methodology
RTL Design Methodology
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
ECE 448 Lab 3 – Part 1 FPGA Design Flow Based on
RTL Design Methodology
Presentation transcript:

1ECE 545 – Introduction to VHDL Project Deliverables

Deliverables 1. Analysis of the Basic Architecture 2. Folded Architecture 3. Unrolled Architecture (waived for most complex hash functions) 4. Embedded-Resource-Based Architecture 2

For Folded/Unrolled/Embedded-Resource-Based 1. General and Detailed block diagrams of the Datapath with names of intermediate signals matching VHDL code [electronic version in Xfig/Visio and PDF] 2. Interface with the division into the Datapath and the Controller [electronic version in Xfig/Visio/PPT, and PDF] 3. ASM charts of the Controller, and a block diagram of connections among FSMs (if more than one used) [scanned handwritten version OK, electronic version in Visio a bonus] 4. RTL VHDL code of the Datapath, the Controller, and the Top-Level Circuit 5. Updated timing analysis (execution time and throughput); formulas for timing confirmed through simulation 3

Deliverables (2) 6. Report on verification − result of verification Functional simulation Post-synthesis simulation (Virtex 5, Spartan 3 or Virtex 4) Timing simulation (Virtex 5, Spartan 3 or Virtex 4) − if result negative, please describe incorrect behavior and possible sources of errors 4

Deliverables (3) 7. Report on benchmarking using ATHENa – Xilinx Spartan 3, Virtex 5, Cyclone II, and Stratix III required – Spartan 6, Virtex 6, Cyclone IV, and Stratix IV (bonus). – Optimization strategies used to obtain best results single_run (minimum), other ATHENa optimizations (bonus) – Graphs and charts – Observations and conclusions 5

6 CubeHash x1 – basic iterative /2(h) – folded horizontally by a factor of 2 x2 – two times unrolled

Bonus Deliverables (4) 8. Bugs and suspicious behavior of ATHENa. Feedback on the difficulty of use and desired features. 9. Generating results for the ATHENa database 7

For Basic Architecture 1. Report on verification − result of verification Functional simulation Post-synthesis simulation (Virtex 5, Spartan 3 or Virtex 4) Timing simulation (Virtex 5, Spartan 3 or Virtex 4) − if result negative, please describe incorrect behavior and possible sources of errors 8

Deliverables (2) 2. Report on benchmarking using ATHENa – Xilinx Spartan 3, Virtex 5, Cyclone II, and Stratix III required – Spartan 6, Virtex 6, Cyclone IV, and Stratix IV (bonus). – Optimization strategies used to obtain best results single_run (minimum), other ATHENa optimizations (bonus) – Observations and conclusions 9

Bonus Deliverables (3) 3. Bugs and inefficiencies found in the – Block diagrams – ASM charts – Source codes – Discrepancies between source codes and Block diagrams and ASM charts – Testbench – Padding script – Documentation 4. Comments and meaningful names 10