aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixesEddie Hung2020-06-031-0/+13
|\ | | | | abc9: fixes around handling combinatorial loops
| * tests: tidy up testcaseEddie Hung2020-06-031-3/+0
| |
| * tests: add ecp5 latch testcase with -abc9Eddie Hung2020-05-251-0/+16
| |
* | Merge pull request #2080 from YosysHQ/eddie/fix_test_warningsEddie Hung2020-06-036-7/+7
|\ \ | | | | | | tests: reduce test warnings
| * | tests: fix some test warningsEddie Hung2020-05-256-7/+7
| | |
* | | allow range for mux testMiodrag Milanovic2020-06-011-1/+2
| | |
* | | Merge pull request #2029 from whitequark/fix-simplify-memory-sv_logicclairexen2020-05-292-0/+9
|\ \ \ | | | | | | | | ast/simplify: don't bitblast async ROMs declared as `logic`
| * | | ast/simplify: don't bitblast async ROMs declared as `logic`.whitequark2020-05-052-0/+9
| | | | | | | | | | | | | | | | Fixes #2020.
* | | | Expand tests/simple/constmuldivmod.vXiretza2020-05-281-1/+41
| | | |
* | | | Merge pull request #2091 from boqwxp/printattrswhitequark2020-05-281-0/+14
|\ \ \ \ | |_|_|/ |/| | | Add `printattrs` command to print attributes of currently selected objects.
| * | | printattrs: Add test.Alberto Gonzalez2020-05-271-0/+14
| | | |
* | | | Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidyEddie Hung2020-05-252-8/+8
|\ \ \ \ | |/ / / |/| | | xilinx: tidy up cells_sim.v a little
| * | | tests: xilinx macc test to have initval, shorten BMC depth for runtimeEddie Hung2020-05-252-8/+8
| | |/ | |/|
* | | test: add attribute-before-stmt test from @nakengelhardtEddie Hung2020-05-251-0/+15
| | |
* | | verilog: do not warn for attributes on null statementsEddie Hung2020-05-251-4/+4
| | |
* | | tests: add an generate-else test tooEddie Hung2020-05-251-0/+34
| | |
* | | tests: add #2037 testcaseEddie Hung2020-05-251-0/+9
|/ /
* | xaiger: add testcaseEddie Hung2020-05-241-0/+13
| |
* | Merge pull request #2057 from YosysHQ/eddie/fix_task_attrEddie Hung2020-05-211-0/+28
|\ \ | | | | | | verilog: support attributes before (not after) task identifier (but 13 s/r conflicts)
| * | tests: attributes before task enableEddie Hung2020-05-141-0/+28
| | |
* | | Add force_downto and force_upto wire attributes.Marcelina Kościelnicka2020-05-191-2/+4
| | | | | | | | | | | | Fixes #2058.
* | | Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dffEddie Hung2020-05-186-117/+108
|\ \ \ | | | | | | | | abc9: support seq synthesis when module has (* abc9_flop *) and bypass non-combinatorial (* abc9_box *)
| * | | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove itEddie Hung2020-05-141-3/+8
| | | |
| * | | abc9_ops: add -prep_bypass for auto bypass boxes; refactorEddie Hung2020-05-141-5/+29
| | | | | | | | | | | | | | | | | | | | Eliminate need for abc9_{,un}map.v in xilinx -prep_dff_{hier,unmap} -> -prep_hier
| * | | abc9: not enough to techmap_fail on (* init=1 *), hide them using $__Eddie Hung2020-05-141-2/+21
| | | |
| * | | abc9: test to use box file instead of autoEddie Hung2020-05-143-2/+5
| | | |
| * | | abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ tooEddie Hung2020-05-141-5/+7
| | | |
| * | | abc9: suppress warnings when no compatible + used flop boxes formedEddie Hung2020-05-141-1/+3
| | | |
| * | | xilinx: update abc9_dff testsEddie Hung2020-05-141-18/+45
| | | |
| * | | xilinx: remove no-longer-relevant testEddie Hung2020-05-141-91/+0
| | | |
* | | | 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.
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-17 18:00:23 +0000