aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #2244 from antmicro/logicclairexen2020-07-093-0/+21
|\ | | | | Add logic type support to parameters
| * Add logic param and integer bad syntax testsKamil Rakoczy2020-07-063-0/+21
| | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* | clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-097-31/+31
| | | | | | | | | | | | | | This fixes some dfflegalize equivalence checks, and breaks others — and I strongly suspect the others are due to bad support for multiple async inputs in `proc` (in particular, lack of proper support for dlatchsr and sketchy circuits on dffsr control inputs).
* | dfflegalize: Add special support for const-D latches.Marcelina Kościelnicka2020-07-091-0/+53
| | | | | | | | | | | | Those can be created by `opt_dff` when optimizing `$adff` with const clock, or with D == Q. Make dfflegalize do the opposite transform when such dlatches would be otherwise unimplementable.
* | gowin: Use dfflegalize.Marcelina Kościelnicka2020-07-062-13/+8
|/
* intel_alm: direct M10K instantiationDan Ravensloft2020-07-051-0/+6
|
* synth_gowin: ABC9 supportDan Ravensloft2020-07-051-1/+5
| | | | | This adds ABC9 support for synth_gowin; drastically improving synthesis quality.
* intel_alm: add Cyclone 10 GX testsDan Ravensloft2020-07-0511-2/+236
|
* opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.Marcelina Kościelnicka2020-07-051-0/+16
| | | | Fixes #2221.
* intel_alm: DSP inferenceDan Ravensloft2020-07-051-0/+23
|
* synth_intel_alm: Use dfflegalize.Marcelina Kościelnicka2020-07-041-1/+1
|
* Improve MISTRAL_FF specify rulesDan Ravensloft2020-07-041-1/+2
| | | | Co-authored-by: Eddie Hung <eddie@fpgeh.com>
* tests: update fsm.ys resource countEddie Hung2020-07-041-4/+4
| | | | | Suspect it is to do with map/set ordering in techmap; should be fixed by #1862?
* Merge pull request #2186 from YosysHQ/mwk/dfflegalizeclairexen2020-07-0217-0/+2957
|\ | | | | Add dfflegalize pass.
| * dfflegalize: Add tests.Marcelina Kościelnicka2020-07-0117-0/+2957
| |
* | Merge pull request #2203 from antmicro/fix-grammarclairexen2020-07-011-0/+28
|\ \ | | | | | | Signed and macro grammar update
| * | Add signed/unsigned testsKamil Rakoczy2020-06-261-0/+28
| | | | | | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* | | Merge pull request #2179 from splhack/static-castclairexen2020-07-015-0/+80
|\ \ \ | | | | | | | | Support SystemVerilog Static Cast
| * | | static cast: add testsKazuki Sakamoto2020-06-195-0/+80
| | | |
* | | | Allow constant function calls in for loops and generate if and caseZachary Snow2020-06-292-0/+76
| |_|/ |/| |
* | | Add sub-assign and and-assign testsKamil Rakoczy2020-06-251-0/+34
| | | | | | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* | | Move combined assign tests to single fileKamil Rakoczy2020-06-254-45/+49
| | | | | | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
* | | 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.
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 12:33:45 +0000