aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1994 from YosysHQ/eddie/fix_bug1758Eddie Hung2020-05-148-5/+451
|\ | | | | opt_expr: improve single-bit $and/$or/$xor/$xnor cells; gate cells too
| * test: update opt_expr_alu testEddie Hung2020-05-081-2/+1
| |
| * tests: opt_expr tests that depend on consumexEddie Hung2020-05-081-0/+35
| |
| * tests: fsm to use a randomly-generated seedEddie Hung2020-04-241-3/+5
| |
| * opt_expr: const_xnor replacement to pad Y with 1'b1Eddie Hung2020-04-241-0/+46
| |
| * tests: opt_expr update xnor/xor testsEddie Hung2020-04-242-7/+6
| |
| * opt_expr: do not group by X, more fixesEddie Hung2020-04-232-2/+2
| |
| * tests: add opt_expr testsEddie Hung2020-04-235-0/+365
| |
* | Merge pull request #2045 from YosysHQ/eddie/fix2042Eddie Hung2020-05-144-0/+93
|\ \ | | | | | | verilog: error if no direction given for task arguments, default to input in SV mode
| * | test: add another testcase as per @nakengelhardtEddie Hung2020-05-141-0/+25
| | |
| * | tests: update/extend task argument testsEddie Hung2020-05-132-2/+35
| | |
| * | tests: add #2042 testcaseEddie Hung2020-05-111-0/+12
| | |
| * | Setup tests/verilog properlyEddie Hung2020-05-112-0/+23
| | |
* | | Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixesClaire Wolf2020-05-141-0/+13
|\ \ \ | | | | | | | | opt_clean: remove (* init *) regardless of -purge, remove (* init *) when consistent with sigmap, clean to behave identically
| * | | opt_clean: improve warning messageEddie Hung2020-05-141-1/+1
| | | |
| * | | opt_clean: add init testEddie Hung2020-05-141-0/+13
| |/ /
* | | Merge pull request #2027 from YosysHQ/eddie/verilog_neg_uptoClaire Wolf2020-05-141-0/+4
|\ \ \ | |/ / |/| | ast: swap range regardless of range_left >= 0
| * | techlibs/common: more robustness when *_WIDTH = 0Eddie Hung2020-05-051-1/+0
| | |
| * | test: add failing testEddie Hung2020-05-041-0/+5
| | |
* | | intel_alm: direct LUTRAM cell instantiationDan Ravensloft2020-05-071-0/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | By instantiating the LUTRAM cell directly, we avoid a trip through altsyncram, which speeds up Quartus synthesis time. This also gives a little more flexibility, as Yosys can build RAMs out of individual 32x1 LUTRAM cells. While working on this, I discovered that the mem_init0 parameter of <family>_mlab_cell gets ignored by Quartus.
* | | Merge pull request #2005 from YosysHQ/claire/fix1990Claire Wolf2020-05-071-0/+46
|\ \ \ | | | | | | | | Add "nowrshmsk" attribute, fix shift-and-mask bit slice write for signed offset
| * | | Bugfix in partsel.v signed indices test casesClaire Wolf2020-05-021-2/+2
| | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
| * | | Add tests based on the test case from #1990Claire Wolf2020-05-021-0/+46
| | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | | Merge pull request #2028 from zachjs/masterEddie Hung2020-05-062-0/+17
|\ \ \ \ | | | | | | | | | | verilog: allow null gen-if then block
| * | | | verilog: allow null gen-if then blockZachary Snow2020-05-062-0/+17
| | |/ / | |/| |
* | | | Merge pull request #2024 from YosysHQ/eddie/primitive_srcEddie Hung2020-05-051-0/+16
|\ \ \ \ | | | | | | | | | | verilog: set src attribute for primitives
| * | | | tests: add tests for primitives' srcEddie Hung2020-05-041-0/+16
| |/ / /
* / / / verilog: fix specify src attributeEddie Hung2020-05-041-0/+6
|/ / /
* | | Merge pull request #2014 from YosysHQ/claire/fixoptaluClaire Wolf2020-05-031-0/+12
|\ \ \ | | | | | | | | Fix the other "opt_expr -fine" bug introduced in 213a89558
| * | | test: add test for #2014Eddie Hung2020-05-021-0/+12
| |/ /
* / / tests: aiger test for wire->start_offset != 0Eddie Hung2020-05-022-0/+41
|/ /
* / Add testcase for #2010Eddie Hung2020-05-011-0/+10
|/
* intel_alm: work around a Quartus ICEDan Ravensloft2020-04-231-0/+12
|
* tests: read +/xilinx/cell_sim.v before xilinx_dsp testEddie Hung2020-04-221-0/+1
|
* test: ice40_dsp test to read +/ice40/cells_sim.v for default paramsEddie Hung2020-04-221-0/+1
|
* xilinx: xilinx_dffopt to read cells_sim.v; fix testEddie Hung2020-04-221-13/+22
|
* Merge pull request #1949 from YosysHQ/eddie/select_blackboxEddie Hung2020-04-221-0/+28
|\ | | | | select: do not select inside black-/white- boxes unless '=' prefix used
| * tests: update select black/white-box testsEddie Hung2020-04-221-0/+7
| |
| * select: add test for not selecting inside black/white boxesEddie Hung2020-04-161-0/+21
| |
* | Merge pull request #1973 from YosysHQ/eddie/fix1966Eddie Hung2020-04-221-1/+3
|\ \ | | | | | | tests: fix various/plugin.sh when PREFIX != /usr/local/share
| * | tests: use `yosys-config --datdir` instead of hard-codedEddie Hung2020-04-221-1/+3
| | |
* | | Merge pull request #1950 from YosysHQ/eddie/design_importEddie Hung2020-04-222-5/+22
|\ \ \ | | | | | | | | design: -import to not count black/white-boxes as candidates for top
| * | | design: add testEddie Hung2020-04-162-5/+22
| | |/ | |/|
* | | Merge pull request #1976 from YosysHQ/dave/fix-sim-constClaire Wolf2020-04-221-0/+13
|\ \ \ | | | | | | | | sim: Fix handling of constant-connected cell inputs at startup
| * | | sim: Fix handling of constant-connected cell inputs at startupDavid Shah2020-04-211-0/+13
| | |/ | |/| | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | hierarchy: Convert positional parameters to named.Marcelina Kościelnicka2020-04-211-0/+23
| | | | | | | | | | | | Fixes #1821.
* | | Merge pull request #1851 from YosysHQ/claire/bitselwriteClaire Wolf2020-04-2113-0/+1224
|\ \ \ | | | | | | | | Improved rewrite code for writing to bit slice
| * | | Remove '-ignore_unknown_cells' option from 'sat'Eddie Hung2020-04-201-6/+6
| | | |
| * | | Simplify test case scriptEddie Hung2020-04-201-30/+17
| | | |
| * | | Remove ununsed filesEddie Hung2020-04-205-83/+0
| | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-01 20:30:23 +0000