Announcements

2025-02-10

If you do NOT have an account on NTHU CAD Server, please apply it from: NTHU CAD Server

2025-02-25

Due to the teacher's illness, the class on February 26 (Wednesday) is canceled.

Course Materials

Chapter 0

Introduction

Click to view details

0.1 Introduction

Release: 2025-02-11

Download Slide

Chapter 1

Representations for Boolean Functions

Click to view details

1.1 Representations for Boolean Functions

Release: 2025-02-11

Download Slide

Chapter 2

Two-Level Logic Minimization

Click to view details

2.1 Exact Minimization

Release: 2025-02-11

Download Slide

2.2 Heuristic Minimization

Release: 2025-03-03

Download Slide

2.3 Multiple Value Function

Release: 2025-03-07

Download Slide

Reference 1: Expand

Release: 2025-03-07

Download Slide

Reference 2: Irredundant Cover

Release: 2025-03-07

Download Slide

Reference 3: Reduce

Release: 2025-03-07

Download Slide

Chapter 3

Multi-Level Logic Minimization

Click to view details

3.1 Multiple Level Logic Restructure

Release: 2025-03-11

Download Slide

3.2 Node Optimization

Release: 2025-03-11

Download Slide

3.3 Multi-Level AIG Rewriting

Release: 2025-03-11

Download Slide

3.4 Functional Decomposition

Release: 2025-03-11

Download Slide

Homework

Tools

Espresso

2-level heuristic minimizer

Release : 2025-02-10
Source Code Executable File

SIS

Division Based Multi-level minimizer

Release: 2025-02-10
Executable File

Supplementary Materials:

Tutorial 1 Tutorial 2 Command Guide 1 Command Guide 2

ABC

DAG-Aware Multi-level minimizer

Release: 2025-02-10
Source Code Executable File

Benchmark

MCNC Benchmark

Release: 2025-02-10

Download Set

Presentation