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

3.3 Multi-Level AIG Rewriting

Release: 2026-03-25

Download Slide

3.4 Functional Decomposition

Release: 2026-03-25

Download Slide

Chapter 4

Timing Optimization

Click to view details

4.1 Timing Optimization

Release: 2026-03-25

Download Slide

Chapter 5

Technology Mapping

Click to view details

5.1 Technology Mapping

Release: 2026-04-13

Download Slide

5.2 Boolean Matching in Logic Synthesis

Release: 2026-04-13

Download Slide

Chapter 6

Synthesis for Finite State Machines

Click to view details

6.1 Finite State Machine

Release: 2026-04-15

Download Slide

Homework

HW1: ABC & SIS Report

Release Date: 2026-03-30 Due: 2026-04-13

HW1 Description

Tools

Espresso

2-level heuristic minimizer

Release : 2026-03-29
Source Code Executable File

SIS

Division Based Multi-level minimizer

Release: 2026-03-29
Executable File

Supplementary Materials:

Tutorial 1 Tutorial 2 Command Guide 1 Command Guide 2

ABC

DAG-Aware Multi-level minimizer

Release: 2026-03-29
GitHub

Benchmark

Benchmark

Release: 2026-03-29

Download Set

Presentation