Advanced Logic Synthesis

CS 613200: Advanced Logic Synthesis

TingTing Hwang

NTHU

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

Chapter 1

Representations for Boolean Functions

Click to view details

1.1 Representations for Boolean Functions

Release: 2025-02-11

Chapter 2

Two-Level Logic Minimization

Click to view details

2.1 Exact Minimization

Release: 2025-02-11

2.2 Heuristic Minimization

Release: 2025-03-03

2.3 Multiple Value Function

Release: 2025-03-07

Reference 1: Expand

Release: 2025-03-07

Reference 2: Irredundant Cover

Release: 2025-03-07

Reference 3: Reduce

Release: 2025-03-07

Chapter 3

Multi-Level Logic Minimization

Click to view details

3.1 Multiple Level Logic Restructure

Release: 2025-03-11

3.2 Node Optimization

Release: 2025-03-11

3.3 Multi-Level AIG Rewriting

Release: 2025-03-11

3.4 Functional Decomposition

Release: 2025-03-11

Chapter 4

Timing Optimization

Click to view details

4.1 Timing Optimization

Release: 2025-03-26

Chapter 5

Technology Mapping

Click to view details

5.1 Technology Mapping

Release: 2025-04-09

5.2 Boolean Matching in Logic Synthesis

Release: 2025-04-14

Chapter 6

Synthesis for Finite State Machines

Click to view details

6.1 Finite State Machine

Release: 2025-04-14

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

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

Presentation