aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Add xor-assignment testKamil Rakoczy2020-06-241-0/+15
| | | | | | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* | | Add or-assignment and plus-assignment testsKamil Rakoczy2020-06-242-0/+30
| |/ |/| | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* | Update dff2dffe, dff2dffs, zinit to new FF types.Marcelina Koƛcielnicka2020-06-232-76/+76
|/
* Use C++11 final/override keywords.whitequark2020-06-181-1/+1
|
* intel_alm: fix DFFE matchingDan Ravensloft2020-06-112-4/+4
|
* Fix tests/opt/opt_rmdffClaire Wolf2020-06-092-22/+29
| | | | | | This only passed before because "prep" was also running opt_rmdff Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* Support packed arrays in struct/union.Peter Crozier2020-06-071-0/+22
|
* Add missing .gitignore fileClaire Wolf2020-06-041-0/+2
| | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* Merge pull request #2041 from PeterCrozier/structclairexen2020-06-043-0/+162
|\ | | | | Implementation of SV structs.
| * Merge branch 'master' into structPeter Crozier2020-06-0336-140/+852
| |\
| * | Allow structs within structs.Peter Crozier2020-05-122-0/+20
| | |
| * | Generalise structs and add support for packed unions.Peter Crozier2020-05-121-0/+61
| | |
| * | Implement SV structs.Peter Crozier2020-05-082-0/+81
| | |
* | | Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improveEddie Hung2020-06-042-5/+55
|\ \ \ | | | | | | | | abc9: -dff improvements
| * | | abc9_ops: update messaging (credit to @Xiretza for spotting)Eddie Hung2020-05-301-4/+4
| | | |
| * | | abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_Eddie Hung2020-05-291-1/+2
| | | |
| * | | tests: add test for abc9 -dff removing a redundant flop entirelyEddie Hung2020-05-251-0/+15
| | | |
| * | | tests: add testcase for abc9 -dff preserving flop namesEddie Hung2020-05-251-0/+34
| | | |
* | | | 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
| | | |