aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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
| | | |
| * | | Modifications of tests as per Eddie's requestdiego2020-04-2015-78/+1237
| | | |
| * | | Wrong fixed valuediego2020-04-171-1/+1
| | | |
| * | | Adding tests for dynamic part select optimisationdiego2020-04-167-0/+161
| | | |
* | | | tests: remove write_ilangEddie Hung2020-04-202-3/+0
| | | |
* | | | abc9: add testcase reduced from #1970Eddie Hung2020-04-201-0/+19
| |/ / |/| |
* | | tests: add select -unset testsEddie Hung2020-04-162-0/+20
| |/ |/|
* | tests: add design -delete testsEddie Hung2020-04-162-0/+18
| |
* | Merge pull request #1943 from YosysHQ/dave/fix-1919David Shah2020-04-161-0/+18
|\ \ | | | | | | ast: Fix handling of identifiers in the global scope
| * | ast: Fix handling of identifiers in the global scopeDavid Shah2020-04-161-0/+18
| |/ | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* / opt_expr: Fix X and CO outputs for $alu identity-mapping rules.Marcelina Kościelnicka2020-04-161-8/+66
|/
* Merge pull request #1933 from YosysHQ/eddie/zinit_moreEddie Hung2020-04-151-2/+96
|\ | | | | zinit: handle $__DFFS?E?_[NP][NP][01] too
| * tests: zinit for new typesEddie Hung2020-04-141-2/+96
| |
* | Merge pull request #1930 from YosysHQ/claire/fix1876Claire Wolf2020-04-151-0/+60
|\ \ | | | | | | Fix handling of ternary with constant condition
| * | tests: add testcases from #1876Eddie Hung2020-04-141-0/+60
| |/
* | synth_intel_alm: alternative synthesis for Intel FPGAsDan Ravensloft2020-04-1510-0/+208
| | | | | | | | | | | | | | | | By operating at a layer of abstraction over the rather clumsy Intel primitives, we can avoid special hacks like `dffinit -highlow` in favour of simple techmapping. This also makes the primitives much easier to manipulate, and more descriptive (no more cyclonev_lcell_comb to mean anything from a LUT2 to a LUT6).
* | opt_expr: Add more $alu optimizations.Marcelina Kościelnicka2020-04-141-4/+52
|/ | | | | | | | | | | Detect the places in the $alu where the carry bit is constant (due to const A[i] == B[i] ^ BI) and split it into smaller $alu at these points. Also, make the existing const-carry detection for low bits more generic (now handles cases where both BI and CI are constant, but not equal to one another). Fixes #1912.
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 14:56:01 +0000