50.002 Hardware Related Topics
These topics are taught before the recess week. They are tested during our Midterm examination. Below we list the learning objectives of each topic. Please find the detailed learning objective on the respective notes.
Basics of Information
- Calculate the amount of information received in bits (probability)
- Encode information and calculate the minimum number of bits
- Convert numbers from and to decimal-binary, binary-hex, decimal-hex
- Apply 2’s complement
- Model information in terms of bits
Digital Abstraction
- Explain the advantage of digital abstraction
- Define what combinational logic is
- Rationalise static discipline of combinational logic
- Define what noise margin is
- Calculate and analyse noise margin and noise immunity requirement
- Draw and analyse the VTC graph
CMOS Technology
- Explain types of MOSFETs: PFETs and NFETs
- Explain how to build CMOS inverter from field effect transistor (FET)
- Experiment with the mechanism of pull up and pull down transistors
- Explain how CMOS works and the importance of its complementary nature
- Construct simple boolean equations given some CMOS circuits
- Compute propagation delay and contamination delay
- Calculate and analyse timing specification of a combinational circuit
Logic Synthesis
- Write the truth table given a functional specification of a combinational device
- Write the sum-of-products of a boolean expression given a truth table or combinational logic, and vice versa
- Draw the combinational logic using NAND and NOR gates given the sum-of-products or truth table
- Simplify boolean expression using boolean algebra and Karnaugh map
- Explain the workings and applications of multiplexer
- Use multiplexer as a universal gate implementation
- Implement boolean expression in read-only memory (ROM)
Sequential Logic
- Draw the model of sequential logic consisting of memory device and combinational logic
- Explain high level working of a D-latch
- Explain high level working of edge-triggered flip-flop
- Rationalise dynamic discipline of sequential logic in terms of t1 and t2 constraints
- Analyse the relationship between setup time, hold time, contamination delay, and propagation delays
- Comprehend The Dynamic Discipline
- Analyse timing requirements, focusing on the roles of Tsetup and Thold
- Utilize understanding of propagation delay, contamination delay, and the dynamic discipline to evaluate and propose solutions for real-world problems in sequential logic circuits.
- Reflect on the importance of timing in circuit design (Metastable State)
Finite State Machine
- Define finite state machine and its purpose
- Draw a valid state transition diagram given a specification
- Derive FSM equivalence and FSM reduction
- Identify two different types of state machine and their pros and cons: Moore and Mealy
- Implement finite state machine in a hardware
Programmability and Computability
- Explain the workings of hypothetical Turing Machine
- Derive the concept of programmability in Turing machine
- Recognize the connection between Turing Machines and functions, and how functions can be computable
- Justify the significance of the computer science revolution
Instruction Set Architecture
- Describe Von Neumann model of computer architecture
- Recognise the difference between an Instruction Set Architecture (ISA) and its implementation
- Explain how basic representation of Beta machine model (ISA) and instruction encoding works
- Describe memory addressing conventions
- Illustrate two basic Beta instruction formats in terms of bits allocations
- Convert Beta assembly instruction to its binary representation and vice versa
Building the Beta
- Implement the datapath for Beta ISA
- Explain different types of datapaths: ALU operation, Load & Store operation, and the Control Unit
- Construct the complete Beta CPU datapath for all instruction classes
- List the output of control logic for different instructions
- Synthesise new beta instructions with given existing datapath
- Benchmark the performance of Beta CPU