Lecture Notes

LOGIC MINIMIZATION

• Standard Cell Example
• Karnaugh Maps
• Synthesis of Two-Level Circuits
• Quine-McCluskey Example
• UCP Reduction Techniques

http://en.wikipedia.org/wiki/Petrick%27s_method

• Don't Cares
• Multiple Output Functions
• Iterated Consensus
• Boole's Expansion Theorem
• Decomposition By Expansion

http://classes.engineering.wustl.edu/cse460/images/c/c0/Decomposition.pdf

http://en.wikipedia.org/wiki/Espresso_heuristic_logic_minimizer

• Espresso Example (Quine-McCluskey Example)
• Espresso Example Output (Quine-McCluskey Example)
• Espresso Cyclic Example
• Espresso Cyclic Example Output
• Espresso Arctan Bit 0 Example
• Espresso Arctan Bit 0 Example Output

http://www.mosis.com/pages/design/flows/design-flow-scmos-kits

• Technology Mapping for Standard Cells

• VHDL Example 1
• VHDL Example 1 Synthesized RTL Schematic Default Settings
• VHDL Example 1 Xilinx Spartan 6 Technology Map Schematic Default Settings
• VHDL Example 2 (Quine-McCluskey Example)
• VHDL Example 2 Synthesized RTL Schematic Default Settings
• VHDL Example 2 Xilinx Spartan 6 Technology Map Schematic Default Settings
• VHDL Example 3 (12-bit Arctan Function)
• VHDL Example 4 (12-bit Arctan Function MSB)
• VHDL Example 4 Xilinx Spartan 6 Technology Map Schematic Default Settings (1 LUT)
• VHDL Example 5 (12-bit Arctan Function Bit 10)
• VHDL Example 5 Xilinx Spartan 6 Technology Map Schematic Default Settings (3 LUTs)
• VHDL Example 6 (12-bit Arctan Function Bit 9)
• VHDL Example 6 Xilinx Spartan 6 Technology Map Schematic Default Settings (10 LUTs)
• VHDL Example 7 (12-bit Arctan Function Bit 8)
• VHDL Example 7 Xilinx Spartan 6 Technology Map Schematic Default Settings (19/23 LUTs)
• VHDL Example 8 (12-bit Arctan Function Bit 0)
• VHDL Example 8 Xilinx Spartan 6 Technology Map Schematic Default Settings (2869 LUTs)
• VHDL Example 9 (12-bit Arctan Function Bit 0, Only Bit 0 Specified)
• VHDL Example 9 Xilinx Spartan 6 Technology Map Schematic Default Settings (3121 LUTs)
• VHDL Example 9 Xilinx Spartan 6 Technology Map Schematic Preserve Hierarchy/Optimize Area (2384 LUTs)
• VHDL Example 10 (12-bit Arctan Function Bit 0 Broken Into 64 Sections/Outputs)
• VHDL Example 10 Xilinx Spartan 6 Technology Map Schematic Default Settings (87 LUTs)
• VHDL Example 10 Xilinx Spartan 6 Technology Map Schematic Preserve Hierarchy/Optimize Area (64 LUTs)
• VHDL Example 11 (12-bit Arctan Function Bit 0 Broken Into 64 Sections/Outputs Then Combined Into One Output)
• VHDL Example 11 Xilinx Spartan 6 Technology Map Schematic Default Settings (115 LUTs, 7 Levels of Logic, 12.289 ns)
• VHDL Example 11 Xilinx Spartan 6 Technology Map Schematic Preserve Hierarchy/Optimize Area (85 LUTs, 6 Levels of Logic, 11.966 ns)
• Bit Zero Optimal LUTS (85 LUTs Is Optimal)
• Francis Paper
• Cong Optimality Paper
• Altera vs. Xilinx
• Xilinx vs. Altera
• Altera Logic Efficiency Analysis
• Altera FPGA Architecture White Paper

• Binary Decision Diagrams (BDDs)
• Bryant Paper

http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a516-a1ad74af1119&o=true

SEQUENTIAL SYSTEMS

• State Equal Output Moore Example
• State Equal Output Moore Example VHDL
• State Equal Output Moore Example Simulation
• State Equal Output Moore Example Synthesis Report Default Settings
• State Equal Output Moore Example Technology Map Schematic Default Settings
• ISE Screenshot: Generating Post Place-and-Route Simulation Model
• ISE Screenshot: Simulating Post Place-and-Route Simulation Model
• State Equal Output Moore Example Post Place-and-Route Simulation
• State Equal Output Moore Example Post Place-and-Route Simulation 2
• State Equal Output Moore Example 2 VHDL
• State Equal Output Moore Example 2 Simulation
• State Equal Output Moore Example 2 Synthesis Report FSM Encoding Algorithm = User
• State Equal Output Moore Example 2 Technolgy Map FSM Encoding Algorithm = User
• State Equal Output Moore Example 3 VHDL
• State Equal Output Moore Example 3 Simulation
• State Equal Output Moore Example 3 Synthesis Report Default Settings
• State Equal Output Moore Example 3 Technology Map Schematic Default Settings
• State Equal Output Moore Example 4 VHDL
• State Equal Output Moore Example 4 Simulation
• State Equal Output Moore Example 4 Synthesis Report Default Settings
• State Equal Output Moore Example 4 Technology Map Schematic Default Settings

• Figure 7.4 (4 States)
• Figure 7.4 VHDL Description Version 1
• Xilinx Spartan 6 Technology Map Schematic Default Settings
• Default Version 1 Synthesis Report
• Version 1 ModelSim Simulation
• Figure 7.4 VHDL Description Version 2
• Default Version 2 Synthesis Report
• Figure 7.4 VHDL Description Version 3
• Default Version 3 Synthesis Report
• Figure 7.4 (3 States)
• VHDL Description Version 4 (3 States)
• Version 4 ModelSim Simulation
• Default Version 4 Synthesis Report
• XST User Guide (See Page 276 for Compact State Encoding)
• Figure 7.4 (5 States)
• VHDL Description Version 5 (5 States)
• Default Version 5 Synthesis Report

• Definitions and Theorems for Sequential Machines
• Definition of Prime Compatible from Hachtel and Somenzi
• Minimizing Completely Specified Machines
• Simplification of Completely Specified Machines by Implication Tables
• Simplification of Incompletely Specified Machines
• Simplification of Incompletely Specified Machines 1
• Simplification of Incompletely Specified Machines 2
• Prime Compatibles Example from Hachtel and Somenzi (Revised)
• BCP Reduction Techniques
• State Assignment

FINITE AUTOMATA

http://www.arl.wustl.edu/~mbecchi/files/becchi_conext2007.pdf

ASYNCHRONOUS CIRCUITS AND METASTABILITY

• MX045 Oscillator Datasheet
• Oscillators and Clock Distribution
• How Fast Can We Clock A Circuit?
• Anomalous Behavior of Synchronizer and Arbiter Circuits
• Measured Flip-Flop Responses to Marginal Triggering
• Metastability
• David M. Zar Metastability Lecture
• Cypress 2Kx9 Sync FIFO

• Introduction to Asynchronous Circuits
• Asynchronous Circuits
• Designing the SR Latch
• Designing an Asynchronous Counter
• Designing a Sequence Detector
• Kohavi Text Example
• Designing the Edge-Triggered D Flip-Flop
• The Reflected Binary (Gray) Code
• Essential Hazards in Asynchronous Sequential Machines

ASYNCHRONOUS CPUs

http://en.wikipedia.org/wiki/Asynchronous_circuit#Asynchronous_CPU

http://en.wikipedia.org/wiki/ILLIAC_II

http://en.wikipedia.org/wiki/AMULET_microprocessor

http://www.intellasys.net/templates/trial/content/S40C18_DataSheet.pdf

• SEAforth 40C18

VERIFICATION

• Automatic Test Generation
• Testing FSMs