EE694v-Verification-Lect11

Slides:



Advertisements
Similar presentations
UNIT 2: Data Flow description
Advertisements

1/8/ VerilogCopyright Joanne DeGroat, ECE, OSU1 Verilog Overview An overview of the Verilog HDL.
L23 – Adder Architectures. Adders  Carry Lookahead adder  Carry select adder (staged)  Carry Multiplexed Adder  Ref: text Unit 15 9/2/2012 – ECE 3561.
VHDL Lecture 1 Megan Peck EECS 443 Spring 08.
©2004 Brooks/Cole FIGURES FOR CHAPTER 17 VHDL FOR SEQUENTIAL LOGIC Click the mouse to move to the next page. Use the ESC key to exit this chapter. This.
Fundamental Concepts 大同大學 資訊工程系 副教授
© 1998, Peter J. AshendenVHDL Quick Start1 Basic VHDL Concepts Interfaces Behavior Structure Test Benches Analysis, elaboration, simulation Synthesis.
16/04/20151 Hardware Descriptive Languages these notes are taken from Mano’s book It can represent: Truth Table Boolean Expression Diagrams of gates and.
Digital Design with VHDL Presented by: Amir Masoud Gharehbaghi
1 Lecture 13 VHDL 3/16/09. 2 VHDL VHDL is a hardware description language. The behavior of a digital system can be described (specified) by writing a.
L18 – VHDL for other counters and controllers. Other counters  More examples Gray Code counter Controlled counters  Up down counter  Ref: text Unit.
Quad 2-to-1 and Quad 4-to-1 Multiplexers Discussion D2.4 Example 7.
2-to-1 Multiplexer: if Statement Discussion D2.1 Example 4.
VHDL function CLBM and Inference Presenter: Jie Li Stevens Institute of Technology Sep 2, 2010.
Dr. Turki F. Al-Somani VHDL synthesis and simulation – Part 2 Microcomputer Systems Design (Embedded Systems)
ECE 353 Computer Systems Lab I Verilog Hardware Description Language.
VHDL. What is VHDL? VHDL: VHSIC Hardware Description Language  VHSIC: Very High Speed Integrated Circuit 7/2/ R.H.Khade.
4-Bit Binary-to-BCD Converter: case Statement
CSET 4650 Field Programmable Logic Devices Dan Solarek VHDL Behavioral & Structural.
ECE 332 Digital Electronics and Logic Design Lab Lab 5 VHDL Design Styles Testbenches.
Modeling styles: 1. Structural Modeling: As a set of interconnected components (to represent structure), 2. Dataflow Modeling: As a set of concurrent assignment.
ENG6090 RCS1 ENG6090 Reconfigurable Computing Systems Hardware Description Languages Part 4: Modeling Dataflow.
L16 – Testbenches for state machines. VHDL Language Elements  More examples HDL coding of class examples Testbench for example  Testing of examples.
C ONTINUOUS A SSIGNMENTS. C OMBINATIONAL L OGIC C IRCUITS each output of a Combinational Logic Circuit  A function of the inputs - Mapping functions.
Digital Design with VHDL Presented by: Amir Masoud Gharehbaghi
L26 – Datapath ALU implementation
L16 – VHDL for State Machines with binary encoding.
2-Jun-16EE5141 Chapter 3 ä The concept of the signal ä Process concurrency ä Delta time ä Concurrent and sequential statements ä Process activation by.
1/8/ L7 Project Step 3Copyright Joanne DeGroat, ECE, OSU1 Project Step 3 Structural Modeling and the Generate Statement.
L12 – VHDL Overview. VHDL Overview  HDL history and background  HDL CAD systems  HDL view of design  Low level HDL examples  Ref: text Unit 10, 17,
Introduction to VHDL Spring EENG 2920 Digital Systems Design Introduction VHDL – VHSIC (Very high speed integrated circuit) Hardware Description.
Fall 2004EE 3563 Digital Systems Design EE 3563 VHSIC Hardware Description Language  Required Reading: –These Slides –VHDL Tutorial  Very High Speed.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics VHDL register-transfer modeling: –basics using traffic light controller; –synthesis.
L13 – VHDL Language Elements. VHDL Language Elements  Elements needed for FPGA design Types  Basic Types  Resolved Types – special attributes of resolved.
Hardware languages "Programming"-language for modelling of (digital) hardware 1 Two main languages: VHDL (Very High Speed Integrated Circuit Hardware Description.
Assignment write a short notes on 1.Manufacturing Testing. 2.Functional Testing. 3.Files and Text I/O. 4.Differentiate the cpld and fpga architecture.
Relational Operators Result is boolean: greater than (>) less than (=) less than or equal to (
Show who is the BOSS Issues with VHDL Synthesis. VHDL Simulator versus Synthetiser VHDL Simulator follows the strict VHDL rules. It does not produce a.
QUIZ What Circuit is this ?. Entity (The Object) -- Entity informs about the circuit’s interface -- signals entity my_circuit is port (L0, L1, L2, L3.
EGRE 6311 LHO 04 - Subprograms, Packages, and Libraries EGRE 631 1/26/09.
CWRU EECS 318 EECS 318 CAD Computer Aided Design LECTURE 6: State machines Instructor: Francis G. Wolff Case Western Reserve University.
A Case Study of the Rehosting from VHDL to Matlab/C
Structural style Modular design and hierarchy Part 1
Module Goals Introduce structural VHDL constructs Use of components
Dataflow Style Combinational Design with VHDL
CHAPTER 17 VHDL FOR SEQUENTIAL LOGIC
Chapter 2. Introduction To VHDL
Hardware Descriptive Languages these notes are taken from Mano’s book
UNIT 2: Data Flow description
CHAPTER 10 Introduction to VHDL
Introduction to Verilog
Copyright Joanne DeGroat, ECE, OSU
Project Step 2 – A single bit slice of the ALU
Instructions to get MAX PLUS running
Hardware Descriptive Languages these notes are taken from Mano’s book
Copyright Joanne DeGroat, ECE, OSU
Project Step 1 Due – see webpage
L21 – Register Set.
L25 – Datapath ALU.
How do you achieve deterministic concurrent simulation.
An overview of the Verilog HDL.
Structural Modeling and the Generate Statement
Project Step 2 – A single bit slice of the ALU
Copyright Joanne DeGroat, ECE, OSU
L25 – Final Review AU 15 Final Exam – Classroom – Journalism 300
4-Input Gates VHDL for Loops
System Controller Approach
Project Step 2 – A single bit slice of the ALU
Structural Modeling and the Generate Statement
EEL4712 Digital Design (VHDL Tutorial).
Presentation transcript:

EE694v-Verification-Lect11 PS1 and PS2 Solutions Solutions for PS1 Solution for PS2 EE694v-Verification-Lect11

EE694v-Verification-Lect11 PS1 Solution The ENTITY for any soluiton --============================================================================= -- Generic Function Unit Entity ------------------------------------------------------------------------------- ENTITY generic_function IS PORT (A,B,G3,G2,G1,G0 : IN BIT; R : OUT BIT); END generic_function; This entity has all inputs at type BIT EE694v-Verification-Lect11

EE694v-Verification-Lect11 PS1 ARCHITECTURE 1 A simple Boolean Equation ARCHITECTURE one OF generic_function IS BEGIN R <= (NOT A AND NOT B AND G0) OR (NOT A AND B AND G1) OR ( A AND NOT B AND G2) OR ( A AND B AND G3); END one; EE694v-Verification-Lect11

EE694v-Verification-Lect11 PS1 ARCHITECTURE 2 Conditional signal assignment statement solution ARCHITECTURE two OF generic_function IS BEGIN R <= G0 after 15 ns WHEN A = '0' AND B = '0' ELSE G1 after 15 ns WHEN A = '0' AND B = '1' ELSE G2 after 15 ns WHEN A = '1' AND B = '0' ELSE G3 after 15 ns ; END two; EE694v-Verification-Lect11

EE694v-Verification-Lect11 PS1 ARCHITECTURE 3 Selected signal assignment statement solution ARCHITECTURE three OF generic_function IS BEGIN WITH A&B SELECT R <= G0 WHEN “00”, G1 WHEN “01”, G2 WHEN “10”, G3 WHEN “11”; END one; EE694v-Verification-Lect11

EE694v-Verification-Lect11 Simulation Results Simulation results look like: EE694v-Verification-Lect11

EE694v-Verification-Lect11 PS2 Solution The carry chain EE694v-Verification-Lect11

EE694v-Verification-Lect11 The slice Declarative region EE694v-Verification-Lect11

EE694v-Verification-Lect11 The slice The statements Instantiation EE694v-Verification-Lect11

EE694v-Verification-Lect11 Simulation Results PS2 results EE694v-Verification-Lect11