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.

2025-03-31

Since the professor is attending an overseas conference today (March 31), today's class will be conducted by the teaching assistant, Mark Towne, who will be explaining some details and usage of SIS and ABC. The slides for today's presentation are attached: Introduce SIS & ABC

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

Chapter 4

Timing Optimization

Click to view details

4.1 Timing Optimization

Release: 2025-03-26

Download Slide

Homework

HW1: ABC & SIS Report

Release Date: 2025-03-24 Due: 2025-04-09

HW1 Description

Tools

Espresso

2-level heuristic minimizer

Release : 2025-02-10

SIS

Division Based Multi-level minimizer

Release: 2025-02-10

ABC

DAG-Aware Multi-level minimizer

Release: 2025-02-10

Benchmark

MCNC Benchmark

Release: 2025-02-10

Presentation