aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* iopadmap: Fix z assignment to inout portMarcin Kościelnicki2020-04-022-2/+24
| | | | Fixes #1841.
* Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xzClaire Wolf2020-04-021-1/+1
|\ | | | | deminout: prevent any constant assignment from demoting to input
| * deminout: prevent any constant assignment from demoting to inputMarcin Kościelnicki2020-03-301-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this patch, ``` module top(inout io); assign io = 1'bx; endmodule ``` would have the `io` pin demoted to input (same happens for `1'bz`, but not for `1'b0` or `1'b1`), resulting in check failures later on. Part of fix for #1841.
* | Merge pull request #1845 from YosysHQ/eddie/kernel_speedupEddie Hung2020-04-0220-588/+566
|\ \ | | | | | | kernel: speedup by using more pass-by-const-ref
| * | kernel: pass-by-value into Design::scratchpad_set_string() tooEddie Hung2020-03-272-3/+3
| | |
| * | kernel: const Wire* overload -> Wire* !!!Eddie Hung2020-03-261-1/+1
| | |
| * | kernel: Cell::set{Port,Param}() to pass by value, but use std::moveEddie Hung2020-03-262-7/+7
| | | | | | | | | | | | Otherwise cell->setPort(ID::A, cell->getPort(ID::B)) could be invalid
| * | kernel: SigSpec copies to not trigger pack()Eddie Hung2020-03-182-34/+5
| | |
| * | kernel: more pass by const ref, more speedupsEddie Hung2020-03-187-400/+400
| | |
| * | kernel: speedupEddie Hung2020-03-181-30/+23
| | |
| * | kernel: use const reference for SigSet tooEddie Hung2020-03-171-18/+18
| | |
| * | kernel: fix DeleteWireWorkerEddie Hung2020-03-171-9/+4
| | |
| * | kernel: SigSpec use more const& + overloads to prevent implicit SigSpecEddie Hung2020-03-1314-82/+96
| | |
| * | kernel: optimise Module::remove(const pool<RTLIL::Wire*>()Eddie Hung2020-03-122-10/+9
| | |
| * | kernel: SigPool to use const& + overloads to prevent implicit SigSpecEddie Hung2020-03-121-19/+25
| | |
* | | Bump YOSYS_VERClaire Wolf2020-04-021-1/+1
| | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | Merge pull request #1770 from YosysHQ/claire/btor_symbolsClaire Wolf2020-04-021-36/+60
|\ \ \ | | | | | | | | Improve write_btor symbol handling
| * | | Improve write_btor symbol handlingClaire Wolf2020-03-141-36/+60
| | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | | Merge pull request #1765 from YosysHQ/claire/btor_infoClaire Wolf2020-04-021-9/+113
|\| | | | | | | | | | | Add info-file and cover features to write_btor
| * | | Add info-file and cover features to write_btorClaire Wolf2020-03-131-9/+113
| |/ / | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | Merge pull request #1777 from YosysHQ/claire/manyhotClaire Wolf2020-04-021-14/+146
|\ \ \ | | | | | | | | Using LFSR counter for ezSAT::manyhot()
| * | | Improve ezsat onehot encoding schemeClaire Wolf2020-04-021-14/+28
| | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
| * | | Using LFSR counter for ezSAT::manyhot()Claire Wolf2020-04-021-0/+118
|/ / / | | | | | | | | | | | | | | | | | | | | | The only user of this API right now is the puzzle3d benchmark and it sees a slight reduction in CNF size from this, but the performance difference is within the noise of measurement on my system. Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | Merge pull request #1828 from YosysHQ/eddie/celltypes_speedupEddie Hung2020-04-014-31/+50
|\ \ \ | | | | | | | | kernel: share a single CellTypes within a pass
| * | | memory_share: fix stray braceEddie Hung2020-03-301-1/+0
| | | |
| * | | Code review fixesEddie Hung2020-03-302-3/+3
| | | |
| * | | Apply suggestions from code reviewEddie Hung2020-03-302-6/+2
| | | | | | | | | | | | Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
| * | | kernel: clear some more ShareWorker stateEddie Hung2020-03-261-0/+4
| | | |
| * | | kernel: share a single CellTypes within a passEddie Hung2020-03-184-31/+51
| |/ /
* | | Merge pull request #1790 from YosysHQ/eddie/opt_expr_xorEddie Hung2020-04-014-10/+92
|\ \ \ | | | | | | | | opt_expr: optimise $xor/$xnor/$_XOR_/$_XNOR_ -s with constant inputs
| * | | opt_expr: fix failing $xnor testEddie Hung2020-03-201-2/+17
| | | |
| * | | opt_expr: add failing $xnor testEddie Hung2020-03-201-1/+13
| | | |
| * | | Simplify breaking tests/arch/*/fsm.ys testsEddie Hung2020-03-202-7/+3
| | | |
| * | | opt_expr: fix missing braceEddie Hung2020-03-201-2/+4
| | | |
| * | | opt_expr: add $xor/$xnor/$_XOR_/$_XNOR_ testsEddie Hung2020-03-191-0/+40
| | | |
| * | | opt_expr: extend to $xnor and $_XNOR_Eddie Hung2020-03-191-8/+12
| | | |
| * | | opt_expr: optimise 1-bit $xor or $_XOR_ with constant inputEddie Hung2020-03-191-1/+14
| |/ /
* | | Merge pull request #1789 from YosysHQ/eddie/opt_expr_aluEddie Hung2020-04-012-19/+114
|\ \ \ | | | | | | | | opt_expr: improve performance on $alu and $sub
| * | | opt_expr: add $alu testsEddie Hung2020-03-191-0/+63
| | | |
| * | | opt_expr: remove redundantEddie Hung2020-03-191-3/+0
| | | |
| * | | opt_expr: optimise $sub when both A[i] and B[i] == 1'b1Eddie Hung2020-03-191-9/+20
| | | |
| * | | opt_expr: optimise for identity $alu-s just like $add/$subEddie Hung2020-03-191-7/+31
| |/ /
* | | Merge pull request #1844 from YosysHQ/dave/gen-source-locDavid Shah2020-04-011-0/+6
|\ \ \ | | | | | | | | verilog: Add location info for generate constructs
| * | | verilog: Add location info for generate constructsDavid Shah2020-04-011-0/+6
| | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | Merge pull request #1852 from boqwxp/cleanup_synth_ice40Eddie Hung2020-04-011-4/+4
|\ \ \ \ | | | | | | | | | | Fix indentation in `techlibs/ice40/synth_ice40.cc`.
| * | | | Fix indentation in `techlibs/ice40/synth_ice40.cc`.Alberto Gonzalez2020-04-011-4/+4
| | | | |
* | | | | Merge pull request #1849 from boqwxp/cleanup_kernel_yosysEddie Hung2020-04-011-14/+13
|\ \ \ \ \ | | | | | | | | | | | | Clean up pseudo-private member usage in `kernel/yosys.cc`.
| * | | | | Clean up pseudo-private member usage in `kernel/yosys.cc`.Alberto Gonzalez2020-04-011-14/+13
| |/ / / /
* | | | | Merge pull request #1850 from boqwxp/cleanup_backendsEddie Hung2020-04-017-103/+84
|\ \ \ \ \ | | | | | | | | | | | | Cleanup pseudo-private member usage and outdated `RTLIL::id2cstr()` in backends
| * | | | | Update `RTLIL::id2cstr()` usage to `log_id`.Alberto Gonzalez2020-04-011-2/+2
| | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-01 21:19:25 +0000