Introduction
Database
Geometry
1. Euclidean Geometry
2. Boolean Operations
3. Region Queries
Logic
1. BDD
PDKs
Introduction
1. OpenSource PDKs
Library
Introduction
1. Generate Standard-Cells
2. Generate Memory-Macros
I/O & File Formats
File formats
1. LEF/DEF
2. OASIS
3. Verilog
4. Liberty
Physical Synthesis
Introduction
Floorplan
1. Power Routing
2. Well Taps
3. IO Pads
Placement
1. Global Placement
2. Legalization
Buffer & tie-cell insertion
Routing
1. Maze Routing
2. Conflict Resolution
3. 1. Rip-up & Reroute
  2. Negotiation Based Algorithms
4. Hierarchical Routing
5. 1. Global Routing
  2. Resource Estimation
  3. Multilevel Full-Chip Routing
6. Line-Probe Algorithms
Clock-Tree Synthesis
Timing Driven Place & Route
1. Static Timing Analysis
2. 1. Wire Delay Estimation
3. Timing Driven Placement
4. Hold Time Fixing
5. Timing Optimization Strategies
Verification
Netlist Extraction
Netlist Comparison
Design For Test (DFT)
Scan-Chain Insertion
Automated Test-Pattern Generation
Appendix

File Formats

This section currently contains mainly links to implementations of named file formats.

Netlists

Verilog

libreda-structural-verilog - Verilog parser & writer for the structural netlist format used by Yosys. Behavioral verilog is not supported - only gate-level netlists. Netlists can be hierarchical though.

DEF

DEF can also encode netlists. At time of writing this is not supported yet though.

libreda-lefdef - DEF parser & writer

Layouts

GDSII

Probably the most famous file format for chip layouts. GDSII is unfortunately not nicely defined and has many pitfalls. There is no implementation yet to be mentioned here. The recommended way is to use OASIS as layout input and output format. OASIS can be reliably converted to and from GDSII using KLayout.

OASIS

OASIS is a good successor of GDSII. It is quite well defined and much more space efficient than GDSII, hence also faster to load and write.

libreda-oasis OASIS parser & writer

LEF/DEF

libreda-lefdef - LEF/DEF parser & writer

Library

Liberty

Liberty encodes library data such as timing behaviour of cells.

liberty-io - Liberty parser, writer and tools.