diff --git a/docs/changelog.rst b/docs/changelog.rst index 14567271b..a1fbc84aa 100644 --- a/docs/changelog.rst +++ b/docs/changelog.rst @@ -16,6 +16,7 @@ v0.4 (not yet released) - Generic network implementation with additional node types (`generic_network`) `#594 `_ - Adding `substitute_node_no_restrash` to `aig_network`, `xag_network`, `mig_network`, `xmg_network`, and `fanout_view` to substitute nodes without structural hashing and simplifications `#616 `_ - Adding `replace_in_node_no_restrash` to `aig_network`, `xag_network`, `mig_network`, and `xmg_network` to replace a fanin without structural hashing and simplifications `#616 `_ + - Adding a new network type to represent multi-output gates (`block_network`) `#623 `_ * Algorithms: - AIG balancing (`aig_balance`) `#580 `_ - Cost-generic resubstitution (`cost_generic_resub`) `#554 `_ @@ -33,6 +34,9 @@ v0.4 (not yet released) - Extensions and fixes in refactoring (`refactoring`) `#607 `_ - Improving LUT mapping, changing its interface, and integrating SOP/ESOP balancing (`lut_map`) `#616 `_ - Adding LUT-based SOP and ESOP balancing (`sop_balancing`, `esop_balancing`) `#616 `_ + - Adding a new technology mapper supporting multi-output cells (`emap`) `#623 `_ + - Adding circuit extraction of half and full adders (`extract_adders`) `#623 `_ + - Adding don't care support in rewriting (`map`, `rewrite`) `#623 `_ * I/O: - Write gates to GENLIB file (`write_genlib`) `#606 `_ * Views: @@ -42,11 +46,16 @@ v0.4 (not yet released) - Choice view for management of equivalent classes (`choice_view`) `#594 `_ - Deterministic randomization option in topological sorting (`topo_view`) `#594 `_ - Fixing MFFC view (`mffc_view`) `#607 `_ + - Adding a view to represent standard cells including the multi-output ones (`cell_view`) `#623 `_ + - Adding a view to mark nodes as don't touch elements (`dont_touch_view`) `#623 `_ * Properties: - Cost functions based on the factored form literals count (`factored_literal_cost`) `#579 `_ * Utils: - Add recursive cost function class to customize cost in resubstitution algorithm (`recursive_cost_function`) `#554 `_ - Sum-of-products factoring utilities `#579 `_ + - Adding utils to perform pattern matching and derive patterns from standard cells (`struct_library`) `#623 `_ + - Adding Boolean matching for multi-output cells (`tech_library`) `#623 `_ + - Adding Boolean matching with don't cares for databases (`exact_library`) `#623 `_ v0.3 (July 12, 2022) -------------------- diff --git a/docs/views.rst b/docs/views.rst index e21370620..55c1810ec 100644 --- a/docs/views.rst +++ b/docs/views.rst @@ -85,7 +85,7 @@ algorithm. Several views are implemented in mockturtle. :members: `binding_view`: Add bindings from a technology library -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ **Header:** ``mockturtle/views/binding_view.hpp``