Iterators

• Aspect Ratio Iterator
• Gray Code Iterator
• BDL Input Iterator

Path Finding

• Distance Functions
• Distance Maps
• Cost Functions
• A* Shortest Path
• Jump Point Search Shortest Path in a Cartesian Grid
• k Shortest Paths
• Enumerate All Paths

Graph Algorithms

• Generate Edge Intersection Graph
• Graph Coloring

Optimization

• Simulated Annealing

Network Transformation

• Network Conversion
• Network Balancing
• Fanout Substitution
• Technology Mapping
• Delete Virtual PIs

Physical Design

• SMT-based Exact Physical Design
• Scalable Orthogonal Physical Design
• Graph-oriented Layout Design
• SAT-based One-pass Synthesis
• Multi-Path Routing (Color Routing)
• Mapping Cartesian to Hexagonal Layouts
• Optimizing 2DDWave-clocked Cartesian Layouts
• Wiring Reduction in 2DDWave-clocked Cartesian Layouts
• Determine Clocking
• Apply Gate Library
• SiDB Gate Designer
• SiDB Circuit Design Algorithm in the Presence of Atomic Defects

Verification

• Design Rule Violations (DRVs)
• Equivalence Checking
• Virtual Miter

Simulation

• Physical Simulation of Silicon Dangling Bond Logic

Properties

• Critical Path (CP) and Throughput (TP)
• Number of Gate Types