Network transformation and mapping
- Technology mapping and network conversion
- Extended technology mapping
- LUT mapping 1
- LUT mapping 2
- Collapse mapped network
- Node resynthesis
- k-LUT to graph conversion
- COVER to graph conversion
- Gate-based network to node-based network
- Cleanup networks
- Transformations based on equivalence classes
- AQFP buffer insertion and verification
- Retiming