Here are some papers on Boolean Matching and Symmetry

A Logic-to-Logic Comparator
An Application of Group Theory to the Analysis of Symmetric Gates
A Group-Theoretic Approach to the Analysis of Symmetric Boolean Functions
Generalized Symmetry, Version 1
Generalized Symmetry, Version 2
The Limits of Using Signatures
The Expressive Power of ...

Here are some tutorials on physical design automation

Basic VLSI Structures
Design Rules
Partitioning
Routing
Channel Routing

Here are some physical design automation papers.

The Original Channel Routing Paper.

The greedy channel routerr

Hierarchical Channel Routing

More on Partitioning

Switchbox Routing

YACR2

River Routing

Over-The-Cell Channel Routing

TimberWolf 3

Placement


Beaver

Global Routing

The minimization papers

On a New Boolean Function with Applications

Three-Level Function Minimization Using Function Regularities

Three more simulation papers.

Event Driven Simulation Without Loops and Conditionals

State Machine Simulation

Using GF(2) Matrices in Simulation and Logic Synthesis

Here are some chapters of a partially written book on digital simulation. We will be covering these chapters during the first portion of the course. There are some important additions that will be presented in the form of research papers.

Chapter 1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7

Here are the last few papers.

TimberWolf 3

Placement


Beaver

Global Routing

YACR2

 

River Routing

Over-The-Cell Channel Routing

The Original Channel Routing Paper.

The greedy channel routerr

Hierarchical Channel Routing

More on Partitioning

Switchbox Routing

Here are some documents about physical design automation.

Basic VLSI Structures
Design Rules
Partitioning
Routing
Channel Routing

Three more simulation papers.

Event Driven Simulation Without Loops and Conditionals

State Machine Simulation

Using GF(2) Matrices in Simulation and Logic Synthesis