331 w05.1fall 2003 14:332:331 computer architecture and assembly language fall 2003 week 5 [adapted...
Post on 19-Dec-2015
217 views
TRANSCRIPT
331 W05.1 Fall 2003
14:332:331Computer Architecture and Assembly Language
Fall 2003
Week 5
[Adapted from Dave Patterson’s UCB CS152 slides and
Mary Jane Irwin’s PSU CSE331 slides]
331 W05.2 Fall 2003
Head’s Up This week’s material
Introduction to VHDL- Reading assignment – Y, Chapters 1 through 3
Next week’s material VHDL modeling
- Reading assignment – Y, Chapter 4 and 5
MIPS arithmetic operations- Reading assignment – PH 4.1 through 4.3
331 W05.3 Fall 2003
To make the architect’s crucial task even conceivable, it is necessary to separate the architecture, the definition of the product as perceivable by the user, from its implementation. Architecture versus implementation defines a clean boundary between parts of the design task, and there is plenty of work on each side of it.
The Mythical Man-Month, Brooks, pg. 256
331 W05.4 Fall 2003
Review: MIPS ISACategory Instr Op Code Example Meaning
Arithmetic
(R & I format)
add 0 and 32 add $s1, $s2, $s3 $s1 = $s2 + $s3
subtract 0 and 34 sub $s1, $s2, $s3 $s1 = $s2 - $s3
add immediate 8 addi $s1, $s2, 6 $s1 = $s2 + 6
or immediate 13 ori $s1, $s2, 6 $s1 = $s2 v 6
Data Transfer
(I format)
load word 35 lw $s1, 24($s2) $s1 = Memory($s2+24)
store word 43 sw $s1, 24($s2) Memory($s2+24) = $s1
load byte 32 lb $s1, 25($s2) $s1 = Memory($s2+25)
store byte 40 sb $s1, 25($s2) Memory($s2+25) = $s1
load upper imm 15 lui $s1, 6 $s1 = 6 * 216
Cond. Branch (I & R format)
br on equal 4 beq $s1, $s2, L if ($s1==$s2) go to L
br on not equal 5 bne $s1, $s2, L if ($s1 !=$s2) go to L
set on less than 0 and 42 slt $s1, $s2, $s3 if ($s2<$s3) $s1=1 else $s1=0
set on less than immediate
10 slti $s1, $s2, 6 if ($s2<6) $s1=1 else $s1=0
Uncond. Jump (J & R format)
jump 2 j 2500 go to 10000
jump register 0 and 8 jr $t1 go to $t1
jump and link 3 jal 2500 go to 10000; $ra=PC+4
331 W05.5 Fall 2003
Review: MIPS Organization, so far
ProcessorMemory
32 bits
230
words
read/write addr
read data
write data
word address(binary)
0…00000…01000…10000…1100
1…1100Register File
src1 addr
src2 addr
dst addr
write data
32 bits
src1data
src2data
32registers
($zero - $ra)
32
32
3232
32
32
5
5
5
PC
ALU
32 32
3232
32
0 1 2 37654
byte address(big Endian)
FetchPC = PC+4
DecodeExec
Add32
324
Add32
32br offset
331 W05.6 Fall 2003
Processor Organization Processor control needs to have the
Ability to input instructions from memory Logic to control instruction sequencing and to issue
signals that control the way information flows between the datapath components and the operations performed by them
Processor datapath needs to have the Ability to load data from and store data to memory Interconnected components - functional units (e.g., ALU)
and storage units (e.g., Register File) - for executing the ISA
Need a way to describe the organization High level (block diagram) description Schematic (gate level) description Textural (simulation/synthesis level) description
331 W05.7 Fall 2003
Levels of Description of a Digital SystemArchitectural
Functional/Behavioral
Register Transfer
Logic
Circuit
models programmer's view at ahigh level; written in your favoriteprogramming language
more detailed model, like theblock diagram view
model is in terms of datapath FUs,registers, busses; register xferoperations are clock phase accurate
model is in terms of logic gates; delay information can be specified for gates; digital waveforms
model is in terms of circuits (electrical behavior); accurateanalog waveforms
Less Abstract
More Accurate
Slower Simulation
Special languages + simulation systems for describing the inherent parallel activity in hardware (VHDL and verilog)
Schematic capture + logic simulation package like LogicWorks
331 W05.8 Fall 2003
Why Simulate First?
Physical breadboarding (as in CSE 275) discrete components/lower scale integration precedes
actual construction of the prototype verification of the initial design
No longer possible as designs reach higher levels of integration!
Simulation before construction - aka functional verification
high level constructs means faster to design and test can play “what if” more easily limited performance (can’t usually simulate all possible
input transitions) and accuracy (can’t usually model wiring delays accurately), however
331 W05.9 Fall 2003
VHDL (VHSIC Hardware Description Language) Goals:
Support design, documentation, simulation & verification, and synthesis of hardware
Allow integrated design at multiple levels - behavioral and structural (gate level)
Concepts: Design entity-architecture descriptions Time-based execution (discrete event simulation) model
Design Entity-Architecture == Hardware Component
Entity == External Characteristics
Architecture (Body ) == Internal Behavior or Structure
331 W05.10 Fall 2003
Entity Interface
Externally visible characteristics Ports: channels of communication
- (inputs, outputs, clocks, control)
Generic parameters: define class of components- (timing characteristics, size, fan-out)
entity name_of_component is
port(a,b: in std_logic;
y: out std_logic);
end name_of_component;
331 W05.11 Fall 2003
Architecture Body Internal behavior or structure of circuit
Declaration of module’s internal signals Description of behavior of circuit
- concurrent behavioral description - collection of Concurrent Signal Assignment (CSA) statements executed concurrently
- process behavioral description - CSAs and variable assignment statements within a process description
- structural description - system described in terms of the interconnections of its components
architecture behavioral of name_of_component is
signal s1,s2: std_logic;
begin
- description of behavior of ports and signals;
end behavioral;
331 W05.12 Fall 2003
VHDL Example: nor-nor gate
entity nor_nor_logic is
port (a,b,c: in std_logic; y: out std_logic);
end nor_nor_logic;
architecture concurrent_behavior of nor_nor_logic is
signal t0: std_logic;
begin
t0 <= a nor b;
y <= t0 nor c;
end concurrent_behavior;
ab
t0
yc
331 W05.13 Fall 2003
Things to Notice <= indicates a Concurrent Signal Assignment (CSA)
like “real” logic, nor_nor “process” is in an infinite loop
t0 and y are signals, not variables they change when ever the inputs (a, b, or c) change std_logic conforms to the IEEE 1164 standard
U UNINITIALIZED X Forcing unknown 0 Forcing 0 1 Forcing 1 Z High impedance W Weak unknown L Weak 0 H Weak 1 - Don’t care
library IEEE;
use IEEE.std_logic_1164.all;
entity nor_nor_logic is ...
331 W05.14 Fall 2003
Modeling Delays Can model temporal, as well as functional behavior,
with delays in CSAs t0 changes 1 ns after a or b changes
entity nor_nor_logic is
port (a,b,c: in std_logic; y: out std_logic);
end nor_nor_logic;
architecture concurrent_behavior of nor_nor_logic is
signal t0: std_logic;
begin
t0 <= (a nor b) after 1 ns;
y <= (t0 nor c) after 1 ns;
end concurrent_behavior;
331 W05.16 Fall 2003
Review: VHDL Goals:
Support design, documentation, simulation & verification, and synthesis of hardware
Allow integrated design at multiple levels - behavioral and structural (gate level)
Concepts: Design entity-architecture descriptions Time-based execution (discrete event simulation) model
Design Entity-Architecture == Hardware Component
Entity == External Characteristics
Architecture (Body ) == Internal Behavior or Structure
331 W05.17 Fall 2003
Review: An Entity-Architecture Example
entity nor_nor_logic is
port(a,b,c: in std_logic; y: out std_logic);
end nor_nor_logic;
architecture concurrent_behavior of nor_nor_logic is
signal t0: std_logic;
begin
t0 <= (a nor b) after 1 ns;
y <= (t0 nor c) after 1 ns;
end concurrent_behavior;
ab
t0
yc
331 W05.18 Fall 2003
Entity-Architecture Features Entity defines externally visible characteristics
Ports: channels of communication - signal names for inputs, outputs, clocks, control
Generic parameters: define class of components- timing characteristics, size (fan-in), fan-out
Architecture defines the internal behavior or structure of circuit
Declaration of internal signals Description of behavior
- concurrent behavioral description: collection of Concurrent Signal Assignment (CSA) statements (indicated by <=) executed concurrently; can also model temporal behavior with the delay annotation
- process behavioral description: CSAs and variable assignment statements within a process description
- structural description: system described in terms of the interconnections of its components
331 W05.19 Fall 2003
New Object: Signals Digital systems are about signals, not variables
signal <= value expressions after time expression signals are analogous to wires and change when ever their
inputs change - time-value pairs resulting in a waveform std_logic conforms to the 9-value IEEE 1164 standard for
signals
U UNINITIALIZED X Forcing unknown 0 Forcing 0 1 Forcing 1 Z High impedance W Weak unknown L Weak 0 H Weak 1 - Don’t care
When a signal has multiple drivers (e.g., a bus), the value of the resulting signal is determined by a resolution function
for std_logic and std_logic_vector the resolution function (lookup table) is provided by std_logic_1164 package
331 W05.20 Fall 2003
Model of Execution CSA’s are executed concurrently - textural order of
the statements is irrelevant to the correct operation
Two stage model of circuit execution first stage
- all CSA’s with events occurring at the current time on signals on their right hand side (RHS) are evaluated
- all future events that are generated from this evaluation are scheduled on the events list
second stage- time is advanced to the time of the next event
VHDL programmer specifies events - with CSA’s delays - with CSA’s with delay annotation concurrency - by having a distinct CSA for each signal
331 W05.21 Fall 2003
Constant Objects Constant parameters provide default values
may be overridden on each instance attach value to symbol as attribute
entity nor_nor_logic is
port(a,b,c: in std_logic; y: out std_logic);
end nor_nor_logic;
architecture concurrent_behavior of nor_nor_logic is
signal t0: std_logic;
constant gate_delay: Time := 1 ns;
begin
t0 <= (a nor b) after gate_delay;
y <= (t0 nor c) after gate_delay;
end concurrent_behavior;
331 W05.22 Fall 2003
Bit-Vector Data Types
Std_logic_vector (31 downto 0) is equivalent to a 32-bit bus
Can convert it to a 32 bit integer
entity nand32 is port(a,b: in std_logic_vector (31 downto 0); y: out std_logic_vector (31 downto 0));end nand32;
architecture concurrent_behavior of nand32 isbegin y <= a nand b;end concurrent_behavior;
Analyzer (compiler) expands the architecture into 32 2-input nand gates with the inputs connected appropriately
331 W05.23 Fall 2003
Conditional Signal Assignment Statement Conditional CSA
order is important - the first conditional expression that evaluates to true determines the output signal
entity mux4 is port(In0,In1,In2,In3: in
std_logic_vector (7 downto 0); S0,S1: in std_logic; Z: out std_logic_vector (7 downto 0));end mux4;
architecture behavior of mux4 isbegin Z <= In0 after 5 ns when S0 = ‘0’ and S1 = ‘0’ else In1 after 5 ns when S0 = ‘0’ and S1 = ‘1’ else In2 after 5 ns when S0 = ‘1’ and S1 = ‘0’ else In3 after 5 ns when S0 = ‘1’ and S1 = ‘1’ else “00000000” after 5 nsend behavior;
00
S0
In0
Z
S1
In1
In2
In3
01
10
11
331 W05.24 Fall 2003
Selected Signal Assignment Statement Selected CSA
all choices are evaluated, but only one must be true
entity reg_file is port(addr1,addr2: in std_logic_vector (1 downto 0); dout1, dout2: out std_logic_vector (31 downto 0));end reg_file;
architecture behavior of reg_file is signal reg0: std_logic_vector (31 downto 0) := to_stdlogicvector (x”00000000”); signal reg1,reg2: std_logic_vector (31 downto 0) := to_stdlogicvector (x”ffffffff”);begin with addr1 select dout1 <= reg0 after 5 ns when “00”, <= reg1 after 5 ns when “01”, <= reg2 after 5 ns when others; with addr2 select dout2 <= reg0 after 5 ns when “00”, <= reg1 after 5 ns when “01”, <= reg2 after 5 ns when others;end behavior;
331 W05.25 Fall 2003
Summary Introduction to VHDL
A language to describe hardware- entity = symbol, architecture ~ schematic, signals =
wires
Inherently concurrent (parallel) Has time as concept Behavioral descriptions of a component
- can be specified using CSAs
- can be specified using one or more processes and sequential statements
Structural descriptions of a system are specified in terms of its interconnections
- behavioral models of each component must be provided