Reference Sheet for C112 Hardware Autumn 2016

1

Boolean Algebra, Gates and Circuits

Basic Operators

Precedence : (strongest) 0 , ·, + (weakest).

A 0 0 1 1

AND · B R 0 1 0 1

A

0 0 0 1

0 0 1 1

OR + B R 0 1 0 1

0 1 1 1

NOT 0 A R 0 1

1 0

Simplification Rules ˆ AND and OR are associative, commutative and distributive. 0

ˆ (A0 ) = A.

Analysing Circuits Work systematically, building up a formula or truth table in stages.

ˆ A · A0 = 0 and A + A0 = 1. ˆ A · A = A and A + A = A. ˆ A · 0 = 0 and A + 1 = 1.

Simplifying Circuits Use De Morgan’s:

ˆ A · 1 = A and A + 0 = A. 0

0

ˆ (A + B) = A0 · B 0 and (A · B) = A0 + B 0 (De Morgan’s).

Note that:

Control and Data Variables

ˆ Each equation has a dual (swap AND with OR and 0 with 1). ˆ De Morgan’s holds for any number of terms.

Gates There are 4 possible one-input and 16 possible two-input gates. NAND and NOR are preferred (small and fast). 1

E.g. in a multiplexer:

2

Combinatorial Circuits

4. Draw the circuit.

Minterms and Maxterms 5. Minimise to suit production method:

ˆ Minterm: Boolean product term in which for each input, Ak , Ak or A0k appears exactly once.

(a) Reduce size (e.g. replace OR, AND by NAND, NOR).

ˆ Maxterm: Boolean sum term ....

(b) Improve speed (reduce cycles). Cannonical Forms ˆ Minterm Cannonical Form: Boolean sum of all minterms that ouput 1.

6. Test the circuit (e.g. systematic testing, formal verificaiton).

ˆ Maxterm Cannonical Form: Boolean product of all maxterms that output 0.

Karnaugh Maps

E.g.

3

Physical Implementation

Models of the Transistor

Need to take into account a time delay.

1. Procedural model : (a) G, Dand G, S not connected. (b) If VGS < 0.5V: switch open. (c) If VGS > 1.7V: switch closed. Remember: 2. Time Delay:

ˆ Order (00, 01, 11, 10) is important.

(a) It takes a constant time for the transistor to which states - can lead to spikes.

ˆ K-maps are cyclic. ˆ We might be able to make a considerable simplification by considering maxterms (0s) instead of minterms.

3. Change is not Instantaneous: (a) Account for capacitance: I = C dV . dt

ˆ Don’t cares (X) can be 0 or 1 - value depends on whether not they are circled.

Combinatorial Circuit Design Process Ideal change is 0 - 5V, but actually is somewhere close 0.2 - 3.7V (with 0.5 - 1.7V considered non-deterministic).

1. Generate the truth table. 2. Generate the Karnaugh map. 3. Find the minimal Boolean Expression: (a) Read off the K-map. (b) Factor out any common factors. 2

Basic Gate Implementations

Fan out The number of inputs to which the output of a gate is connected. NOT ˆ Since R1 = R11 + R12 + . . . + R1n for n resistors in parallel, the load resistance decreases as fan out increases, so output voltage falls.

ˆ Slows down circuit since capacitance is summed accross all gates.

NAND and NOR

4

Synchronous Digital Systems

Feedback

Actual ICs generally use a combination of NMOS and PMOS (Complimentary Metal Oxide Silicon) instead of resistors - lower power consumption and faster switching.

Circuit below could:

ˆ Oscillate between values of 0 and 1.

Time Dependent Behaviour of Circuits ˆ Settle at an intermediate value (actually ≈1.2V).

The R-S Flip Flop

E.g. consider:

Noise Margin

By considering all possible states for (RSPQ) and what they lead to in the following time step: 3

Solution: edge triggered circuit: Master-Slave Flip-Flop. Now both gates cannot be open at the same time:

ˆ Uncertain about state at start (until set or reset).

Flip-Flops

Different types:

ˆ SR = 01: Resets memory (Q) to 0. ˆ SR = 10: Sets memory (Q) to 1. ˆ SR = 11: Keeps current state.

D-Type Latch

Preset and Clear ˆ PRESET sets Q to 1.

Consider:

ˆ CLEAR sets Q to 0. ˆ Behaves normally when PRESET and CLEAR both set to 1.

ˆ If latch set to 1, Q becomes D. ˆ If latch set to 0, Q is held.

Edge Triggering D-type latch has undesirable behaviour. While latch is 1, any change on D changes Q: 4

5

Synchronous Digital Systems ˆ Synchronous: Circuit only changes in response to system clock.

Functional Design

Shift Registers

ˆ Sequential : Goes through sequence of states.

ˆ Inside a computer data is organised in a parallel form, but communication usually involves serial data.

General form:

ˆ Registers are an ordered group of flip-flops connected to a single clock. ˆ We can convert paralell and serial data.

ˆ The state sequencing logic and output logic are combinatorial circuits. ˆ Outputs depend only on state of circuit. ˆ Next state depends on current state and inputs.

Sequential Circuit Design Process ˆ Time to load a parallel input depends on length of register.

1. Determine the required number of states and assign each output to a state. Adjacent assignments should be given to states if they:

ˆ Requires a seperate (slower) clock to processor clock.

(a) Have the same next state for a given input. (b) Are the next states of the same state. (c) Or choose to minimise output logic.

Multi-Function Registers Want to be able to shift bits left / right with the same circuitry.

2. Determine the state transitions. Draw a state transition diagram and a state transition table. 3. For each flip-flop input Dn , draw a Karnaugh Map and determine a Boolean expression in terms of the flip-flop outputs and circuit inputs. Simplify. 4. Check don’t cares. Fix by one of these methods: (a) Look at K-Maps and try to find a simple modification. (b) Include unused states and redo. 5. Determine Boolean expressions for output from the state assignments, using Karnaugh maps. 6. Draw and optimise the circuit. Remember common terms only need to be committed to hardware once!

Here we can use 00 to hold, 01 to shift right, 10 to shift left, 11 to load parallel. 5

Dividing Clocks We can divide clocks by 2 easily:

We can stack these, one after the other, to divide by any power of 2. For non-powers of 2, we:

ˆ Design to the next highest power of 2.

1. Select source register using multiplexer.

ˆ Then use clear when the required count is reached to reset count to 0.

2. Select destination register using demultiplexer.

E.g. for 5:

3. Transfer data from source to destination.

Multiplexers

Register Transfer Operations (Rdst ← Rsrc )

A 4-to-1 multiplexer:

Extended to 8-to-1 by functional design: 6

Extended to 4-bit by functional design:

5.1

Computer Arithmetic S = A ⊕ B and C = A · B:

Half Adder Demultiplexers

A 2-to-4 demultiplexer: B

Sum

Carry

0 0 1

0 1 0

0 1 1

0 0 0

1

1

0

1

Full Adder Need to propogate the carry, S = A ⊕ B ⊕ C and Cout = C · (A ⊕ B) + A · B.

Extended to 3-to-8 by functional design:

Comparators

A

A 1-bit comparator:

A

B

Cin

S

Cout

0 0 0

0 0 1

0 1 0

0 1 1

0 0 0

0

1

1

0

1

1 1 1 1

0 0 1 1

0 1 0 1

1 0 0 1

0 1 1 1

Ripple Through Carry Adder 7

For n bits:

Multiplication a1 a0 × b1 b0 = a1 · b1 · 22 + a0 · b1 · 2 + a1 · b0 · 2 + a0 · b0 . Multiplication by 2 is equivalent to a left shift, so for 2 bits:

Serial Adder

Assumes bits arrive least significant first.

Using functional design, for 4 bits: Difference = A ⊕ B ⊕ P and Borrow = A0 · (B ⊕ P ) + B · P :

Subtractor

A

B

P

Difference

Borrow

0 0

0 1

0 0

0 1

0 1

1 1

0 1

0 0

1 0

0 0

0 0 1 1

0 1 0 1

1 1 1 1

1 0 0 1

1 1 0 1

Division ˆ Can be done procedurally using shifts and subtracts.

Subtractor using Two’s Complement

ˆ Combinatorial hardware also exists.

A − B = A + (−B). 8

The ALU cuits:

A simple combinatorial circuit that bundles together arithmetic cir-

Requires two multiplexers per bit. Assuming the two subtractors and one adder are already in place:

Here we have the functions: A - unchanged, B - rotate left, C - arithmetic left shift, D - left shift with carry, E - rotate right, F - logical right shift, G arithmetic right shify, H - right shift with carry.

6

Processors

A Manual Processor Data Path Diagram

Here we have the functions: A - constant 0, B - B − A, C - A − B, D - A + B, E - A ⊕ B, F - A + B, G - A · B, H - constant 1. We can use functional design to extend the ALU to 8 bits:

Instruction Format follows:

We define the instruction register hold instructions as

IR7

IR6

IR5

IR4

IR3

IR2

IR1

IR0

UN

F/ALU-SHIFT

UN

S/R

S/C

S/A

ˆ S/A selects input to A register. ˆ S/C selects input to “Carry in” of ALU. ˆ S/R selects input to RES-register. ˆ F/ALU determinse function of ALU/shifter. 000 for A, ..., 111 for H.

The Shifter

ˆ Bits 3 and 7 are unused.

We can very easily design an eight function shifter: 9

Execution Cycle 1. Load IR register.

2. Load A register.

3. Load B, C registers.

4. Load IR register.

5. Load RES, C registers.

Example Sequential Circuit Design 1. State Assignment

For a manual processor:

Operate

This State

Q2 Q1 Q0

Next State

D2

D1

D0

0 0 0 0

0 1 2 3

000 001 100 010

0 0 0 0

0 0 0 0

0 0 0 0

0 0 0 0

0 0 0 0

4 5 6 7

101 110 011 111

0 0 × ×

0 0 × ×

0 0 × ×

0 0 × ×

1 1

0 1

000 001

1 2

0 1

0 0

1 0

1 1 1 1 1 1

2 3 4 5 6 7

100 010 101 110 011 111

3 4 5 1 × ×

0 1 1 0 × ×

1 0 1 0 × ×

0 1 0 1 × ×

3. State Sequencing Logic - Karnaugh Maps and Boolean Eqns Chosen to minimise output logic: Q2 Q1 Q0

State

Output

000

0

none

001 100 010 101 110

1 2 3 4 5

ClkIR ClkA ClkB, ClkC ClkIR ClkC, ClkRES

2. State Transition Diagram 4. Checking Don’t Cares Operate

This State

Q2 Q1 Q0

Next State

D2

D1

D0

0 0

6 7

011 111

0 0

0 0

0 0

0 0

1 1

6 7

011 111

4 4

1 1

0 0

1 1

So if the OPERATE input is at 0 when the processor is switched on, the system will begin in IDLE state.

2. State Transition Table 10

5. Output Logic - Karnaugh Maps and Boolean Eqns

Tri-State Buffer If C is 0, ouput follows D, otherwise is disconnected completely.

We can use a demultiplexer to make sure only one input has C set to 0. *. Connecting Output to the System Clock Random Access Memory and column decoders.

Normally organised in two dimensions with row

We use a NAND gate to connect each output to the system clock. This means the state register changes on the falling edge, avoiding race conditions when the next state is set on the following rising edge.

We now have a manual processor! Memory ˆ A D-type flip flop is a one bit memory. ˆ We need to give it an address (binary number). We use a demultiplexer to do this.

ˆ Each memory cell enabled when both row and column lines are 1. ˆ Only ever one such cell. ˆ Each cell connected to same read/write line and data line. ˆ Data line connected to outside through a two-way tri state buffer, so unless the chip is enabled, no data can pass in or our. Allows RAM with several chips.

Connecting RAM to a Processor ˆ Need Memory Address Register (MAR) to store address. ˆ Memory Data Register (MDR) to store data read from memory / to be written to memory. ˆ Program counter (PC) stores address of next program instruction to be executed.

Buses E.g. address bus, data buses, control bus. ˆ Data-in and data-out are never used at the same time. Convenient to use one (bi-directonal) bus. This requires a tri-state buffer.

ˆ Instruction register (IR) stores the program instruction executed.

11

ˆ Replace bi-directional data bus with seperate data in and data out buses.

Fetch Cycle To retrieve data from memory we go through register transfer steps. E.g. to get the next program instruction and load it into the IR: Defining Operations

1. MAR ← PC 2. MDR ← RAM [MAR], PC → PC + 1 3. IR ← MDR

E.g. LOAD, using register transfer language:

Instruction

Cycle

Transfers

Path

LOAD Rdst, Addr

E1

MAR←MDR

Via bit mask

E2 E3

MDR←Memory Rdst←MDR

No mask

Controller ˆ Sets multiplexers to establish required connection paths.

Instruction format: 8 bits for the opcode, 4 for Rdest, 20 for address.

ˆ Gives falling edge signal to clock inputs of registers to be loaded (done by gating system clock - NAND with clock control logic).

Designing the Controller ˆ Define a control input based on how many cycles required for each operation.

ˆ Is a synchronous sequential circuit.

– Using 8-to-256 decoder to decode the opcode. – Using 3-to-8 decoder for current state.

Dynamic RAM For large RAMs, D-Q flip flops are to big, instead one transistor and capacitor is used for each bit. Value = whether capacitor is charged.

ˆ Sequential design problem to work out next state, uses this control input and previous state.

ˆ Store is not permanent, ones drift to zero quickly.

ˆ Output logic:

ˆ Capacitor charge is restored regularly, done by memory controller when the computer not accessing memory.

– Clocks: NAND gates with system clock. In practice, we can simplify output logic by considering the following cycle. – Multiplexers and ALU / Shifter function selection output is trivial.

Speeding Up the Processor ˆ Change buses from 8 to 32 bit.

Possible Improvements

ˆ Provide local registers which can be programmed to store partial results.

ˆ Instructions packed on byte boundaries so not to waste fetch cycles.

ˆ Design a controller with as small a number of execution cycles as possible.

ˆ Additional arithmetic hardware. ˆ Additional multiplexers, e.g. to select input of B independently of A.

ˆ Remove carry arrangments, doing arithmetic on big integers.

12

Reference Sheet for C112 Hardware - GitHub

Page 1 ... We might be able to make a considerable simplification by considering max- terms (0s) instead of minterms. • Don't cares (X) can ... Noise Margin. Fan out The number of inputs to which the output of a gate is connected. • Since 1. R.

4MB Sizes 4 Downloads 367 Views

Recommend Documents

Oolite Reference Sheet - GitHub
will shut down, requiring a cool-down period before it ... 10 Fuel Scoop ... V2 & Creative Commons License: BY - NC - SA 3.0 Oolite Website: http:/www. ..... A discontinued fighter design finding a new life in the professional racing circuit.

Reference Sheet for CO140 Logic - GitHub
Free Variable Variable which is not bound (this includes variables which do not appear in A!). Sentence Formula with no free variables. ... domain of M, dom (M).

Reference Sheet for CO120.3 Programming III - GitHub
GBB. B d˜rief en enum type th—t represents fl—gs for renderingF. B. B i—™h ˜it represents — different fl—gF …se ˜itwise —nd. B to ™he™k if — fl—g is setF. BG enum render•fl—g {. GBB „he —m˜ient fl—g @˜it HAF BG

Reference Sheet for CO120.2 Programming II - GitHub
Implementing Interfaces Use notation: @Override when a class method im- ... Style: usually a class extends an abstract class (with constructor and fields).

Reference Sheet for CO130 Databases - GitHub
create table actor_cars ( .... Table. Relational Expression. Views. Tuple. Row. Attribute. Column. Domain .... end of free space, location and size of each record.

Reference Sheet for CO142.1 Discrete Mathematics I - GitHub
Products For arbitrary sets A and B: 1. Ordered ... Identity idA = {〈x, y〉 ∈ A2|x = y}. Composition .... Identity: The function idA : A → A is defined as idA (a) = a. 3.

Reference Sheet for CO141 Reasoning about Programs - GitHub
General Technique: For any P ⊆ Z and any m : Z: P (m) ∧ ∀k ≥ m. [P (k) → P (k + 1)] → ∀n ≥ m.P (n). 1.2 Strong Induction. P (0) ∧ ∀k : N. [∀j ∈ {0..k} .

Reference Sheet for CO142.2 Discrete Mathematics II - GitHub
Connected: there is a path joining any two nodes. .... and merge two components .... Merge sort can be parallelised by executing recursive calls in parallel. 2.

Hardware and Representation - GitHub
E.g. CPU can access rows in one module, hard disk / another CPU access row in ... (b) Data Bus: bidirectional, sends a word from CPU to main memory or.

Location Reference Sheet for writers.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Location ...

Reference Sheet for CO120.1 Programming I
Stops execution and displays error message. 9 Types and Common ... multiple times or to clean up code. ... You should spend time planning your answer (on ...

CSS3 Cheat Sheet - GitHub
Border Radius vendor prefix required for iOS

KUKA youBot Hardware Interfaces - GitHub
youBot hardware. omni-directional mobile platform.. 5-degree-of-freedom manipulator.. 2-finger gripper. all joints with relative encoders. real-time ...

Software and hardware list.docx.docx - GitHub
Download links to the software. Hardware specifications. OS required. 1. 32-bit / 64-bit guest OS. Free. None. Windows/Mac. OS/Debian/RedHa t/CentOS/SUSE/U buntu. 2. R. 3.X.X/RStudio. Desktop V0.9X. Free. R http://www.r-project.org/. RStudio https://

gitchangelog Cheat Sheet - GitHub
new: test: added a bunch of test around user usability of feature X. fix: typo in spelling my name in comment. !minor. By Delqvs cheatography.com/delqvs/. Published 14th August, 2017. Last updated 14th August, 2017. Page 1 of 1. Sponsored by ApolloPa

Highly-Portable Hardware Sales Sheet-CompactDAQ ...
Highly-Portable Hardware Sales Sheet-CompactDAQ & CompactRIO.pdf. Highly-Portable Hardware Sales Sheet-CompactDAQ & CompactRIO.pdf. Open.

Reference Manual - GitHub
for the simulation of the electron cloud buildup in particle accelerators. 1 Input files .... points of the longitudinal beam profile of sec- ondary beams.

NetBSD reference card - GitHub
To monitor various informations of your NetBSD box you ... ifconfig_if assigns an IP or other on that network in- ... pkg_admin fetch-pkg-vulnerabilities download.

Machine Learning Cheat Sheet - GitHub
get lost in the middle way of the derivation process. This cheat sheet ... 3. 2.2. A brief review of probability theory . . . . 3. 2.2.1. Basic concepts . . . . . . . . . . . . . . 3 ...... pdf of standard normal π ... call it classifier) or a decis

LIKWID | quick reference - GitHub
likwid-memsweeper Sweep memory of NUMA domains and evict cache lines from the last level cache likwid-setFrequencies Control the CPU frequency and ...

J1a SwapForth Reference - GitHub
application. After installing the icestorm tools, you can .... The SwapForth shell is a Python program that runs on the host PC. It has a number of advantages over ...

GABotS Reference Manual - GitHub
Apr 9, 2002 - MainWindow (Main widget for the GABots app). 23. Random ..... Main class for simple Genetic Algorithm used in the program. ز ذظ .

RTOS Threading Cheat Sheet - GitHub
If the UART is enabled, it causes a data frame to start transmitting with the parameters indicated in the. UARTLCRH register. Data continues to be transmitted ...

R Markdown : : CHEAT SHEET - GitHub
Word, or RTF documents; html or pdf based slides ... stop render when errors occur (FALSE) (default = FALSE) .... colortheme. Beamer color theme to use. X css.