Welcome to mockturtle’s documentation!
- The mockturtle philosophy
- Network interface API
- Network implementations
- Sequential networks
- Views
- topo_view: Ensure topological order
- depth_view: Compute levels and depth
- rank_view: Order nodes within each level
- mapping_view: Add mapping interface methods
- cut_view: Network view on a single rooted cut
- mffc_view: Network view on a (M)FFC
- immutable_view: Prevent network changes
- fanout_view: Compute fanout
- window_view: Network view on a window
- binding_view: Add bindings from a technology library
- cell_view: Add cell mappings from a technology library
- names_view: Assign names to signals and outputs
- choice_view: Implements choices in networks
- dont_touch_view: Mark nodes as “don’t touch”
- cnf_view: Creates a CNF while creating a network
- color_view: Manages traversal IDs
- cost_view: Manages global cost and maintains context
- dont_care_view: Manages external don’t care information
- Network events
- Decomposition
- Network information extraction
- Logic restructuring and optimization
- Akers synthesis
- Logic resynthesis
- Resynthesize linear circuit
- AQFP Resynthesis
- Rewrite
- Cut rewriting
- XAG algebraic rewriting
- MIG algebraic rewriting
- Resubstitution
- Various XAG optimization algorithms
- Various XMG optimization algorithms
- Functional reduction
- Refactoring
- AIG balancing
- XAG balancing
- Balancing
- Cost-generic resubstitution algorithm
- 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
- Validation and verification