Announcements

Course Materials

Chapter 0

Introduction

Click to view details

0.1 Introduction

Download Slide

Chapter 1

Representations for Boolean Functions

Click to view details

1.1 Representations for Boolean Functions

Download Slide

Chapter 2

Two-Level Logic Minimization

Click to view details

2.1 Exact Minimization

Download Slide

2.2 Heuristic Minimization

Release: 2026-03-04

Download Slide

2.3 Multiple Value Function

Release: 2026-03-04

Download Slide

Reference 1: Expand

Release: 2026-03-16

Download Slide

Reference 2: Irredundant Cover

Release: 2026-03-16

Download Slide

Reference 3: Reduce

Release: 2026-03-16

Download Slide

Chapter 3

Multi-Level Logic Minimization

Click to view details

3.1 Multiple Level Logic Restructure

Release: 2026-03-18

Download Slide

3.2 Node Optimization

Release: 2026-03-18

Download Slide

Homework

Tools

Benchmark

Presentation