mockturtle
mockturtle copied to clipboard
lsils
C++ logic network library
This PR includes: - A new LUT mapper called `lut_map` offers delay- and area-oriented mapping. Cost functions can be used to define the cost of each LUT during mapping. -...
This PR adds: - AIG balancing - XAG algebraic depth reduction (rules based on AND-associativity, XOR-associativity, AND-distributivity, AND-OR-distributivity, AND-XOR-distributivity) - Methods to check if a node is present in the...
- Heuristic resynthesis engine for MuxIG (`mux_resyn`) - Supports MUX in `circuit_validator` - Added `muxig_index_list` - Verilog I/O for MuxIGs - Fix substitution in MuxIG - SAT-based `exact_resynthesis` wrapper (uses...
Typo
This adds a pre-commit repo for checking typos. Please refer to [this link](https://github.com/crate-ci/typos) for details on how to use it. If you have any questions, feel free to discuss. I...
- fix BLIF reader/write BLIF for sequential circuits - consider sequential logic during cut enumeration and when collapsing mapped network - close #572
**Describe the bug** Refactoring can lead to segmentation fault which is detected by the assert at line 267 in `mffc_view`. This is due to the use of reference counters to...
**Describe the bug** A register output (RO) created before a primary output (PO) will become a PO when writing to the BLIF file. (because `write_blif` always assume the first `num_co`...
**Describe the bug** First of all, I'm not sure whether this is a bug or intended behavior. I have noticed that the default network implementations do not trigger the `on_add`...
When I run `mig_algebraic_depth_rewriting_splitters` for [c5315.v](https://docs.google.com/document/d/1bDPvN9zxg9DpDWQIWRfXqw-9iv2tIwBeRbPcsg4KDUM/edit?usp=sharing) with the parameter `selective`, I found that the `run_selective ` is endless. ``` ps_alg_rewrite.strategy = mockturtle::mig_algebraic_depth_rewriting_params::selective; mig_algebraic_depth_rewriting_splitters(mig, ps_alg_rewrite); ``` And while in mockturtle::buffer_insertion::optimize can...
Trying to run the `satlut` experiments fails for benchmarks `log2`, `multiplier`, `sqrt` and `voter`. They all fail while computing windows, more specifically at: ``` Assertion failed: (false), function compute_window_for, file...
