aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | sf2: Use dfflegalize.Marcelina Kościelnicka2020-07-092-44/+13
|/ / / / /
* | | | | xilinx: Use dfflegalize.Marcelina Kościelnicka2020-07-096-484/+131
| | | | |
* | | | | dfflibmap: Refactor to use dfflegalize internally.Marcelina Kościelnicka2020-07-095-212/+214
| | | | |
* | | | | Fix issue #2251 (#2252)Lucas Castro2020-07-091-1/+1
| | | | | | | | | | | | | | | | | | | | * Fix #2251 - YosysJS ReferenceError: _memset is not defined. Add '_memset' in emcc EXPORTED_FUNCTIONS in Makefile.
* | | | | clkbufmap: improve input pad handling.Marcelina Kościelnicka2020-07-092-17/+118
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - allow inserting only the input pad cell - do not insert the usual buffer if the input pad already acts as a buffer
* | | | | Merge pull request #2244 from antmicro/logicclairexen2020-07-094-7/+31
|\ \ \ \ \ | | | | | | | | | | | | 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>
| * | | | | Support logic typed parametersLukasz Dalek2020-07-061-7/+10
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
* | | | | | clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-098-88/+82
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-092-0/+71
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | | | | Merge pull request #2246 from YosysHQ/mwk/dfflegalize-typowhitequark2020-07-071-1/+1
|\ \ \ \ \ \ | | | | | | | | | | | | | | dfflegalize: typo fix
| * | | | | | dfflegalize: typo fixMarcelina Kościelnicka2020-07-071-1/+1
|/ / / / / /
* | | | | | efinix: Use dfflegalize.Marcelina Kościelnicka2020-07-062-15/+53
| | | | | |
* | | | | | gowin: Use dfflegalize.Marcelina Kościelnicka2020-07-064-158/+49
|/ / / / /
* | | | | intel_alm: direct M10K instantiationDan Ravensloft2020-07-058-38/+128
| | | | |
* | | | | Naming fixes.Marcelina Kościelnicka2020-07-052-2/+2
| | | | |
* | | | | synth_gowin: ABC9 supportDan Ravensloft2020-07-053-35/+345
| | | | | | | | | | | | | | | | | | | | | | | | | This adds ABC9 support for synth_gowin; drastically improving synthesis quality.
* | | | | intel_alm: add Cyclone 10 GX testsDan Ravensloft2020-07-0511-2/+236
| | | | |
* | | | | Merge pull request #2236 from YosysHQ/mwk/dfflegalize-ice40Marcelina Kościelnicka2020-07-054-208/+24
|\ \ \ \ \ | | | | | | | | | | | | ice40: Use dfflegalize.
| * | | | | ice40: Use dfflegalize.Marcelina Kościelnicka2020-07-054-208/+24
| | | | | |
* | | | | | ecp5: Use dfflegalize.Marcelina Kościelnicka2020-07-054-254/+96
| | | | | |
* | | | | | Merge pull request #2227 from Ravenslofty/ccachewhitequark2020-07-051-0/+5
|\ \ \ \ \ \ | | | | | | | | | | | | | | Add option to use ccache when building
| * | | | | | Add option to use ccache when buildingDan Ravensloft2020-07-041-0/+5
| | |_|_|/ / | |/| | | |
* | | | | | Merge pull request #2232 from YosysHQ/mwk/gowin-sim-initMarcelina Kościelnicka2020-07-051-8/+8
|\ \ \ \ \ \ | | | | | | | | | | | | | | gowin: Fix INIT values in sim library.
| * | | | | | gowin: Fix INIT values in sim library.Marcelina Kościelnicka2020-07-051-8/+8
| | |_|/ / / | |/| | | |
* | | | | | dfflegalize: Prefer mapping dff to sdff before adffMarcelina Kościelnicka2020-07-051-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This ensures that, when both sync and async FFs are available and abc9 is involved, the sync FFs will be used, and will thus remain available for sequential synthesis.
* | | | | | opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.Marcelina Kościelnicka2020-07-052-0/+24
| | | | | | | | | | | | | | | | | | | | | | | | Fixes #2221.
* | | | | | intel_alm: DSP inferenceDan Ravensloft2020-07-057-9/+209
| |_|/ / / |/| | | |
* | | | | gowin: replace determine_init with setundefDan Ravensloft2020-07-043-74/+1
| | | | |
* | | | | synth_intel_alm: Use dfflegalize.Marcelina Kościelnicka2020-07-043-122/+10
|/ / / /
* | | | Improve MISTRAL_FF specify rulesDan Ravensloft2020-07-042-6/+6
| | | | | | | | | | | | | | | | 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?
* | | | abc9: only techmap (* abc9_flop *) modulesEddie Hung2020-07-041-1/+1
| | | |
* | | | intel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FFEddie Hung2020-07-042-47/+2
| | | |
* | | | abc9: techmap from user design to allow abc9_flop modules to be composedEddie Hung2020-07-041-1/+1
| | | | | | | | | | | | | | | | from other primitives
* | | | intel_alm: add $__ prefix to MISTRAL_FF_SYNCONLYEddie Hung2020-07-044-4/+4
| | | |
* | | | intel_alm: ABC9 sequential optimisationsDan Ravensloft2020-07-047-19/+149
|/ / /
* / / Add newlines to help text for dfflegalizeRupert Swarbrick2020-07-031-11/+11
|/ / | | | | | | | | | | | | | | | | | | | | | | | | I think these were probably missed by accident. Spotted because GCC spits out lots of messages like this: passes/techmap/dfflegalize.cc:114:7: warning: zero-length gnu_printf format string [-Wformat-zero-length] 114 | log(""); | ^~ (because we tell GCC that the first argument to log() looks like a printf control string in log.h, and a zero length such string triggers a warning).
* | Merge pull request #2132 from YosysHQ/eddie/verific_initialclairexen2020-07-021-17/+36
|\ \ | | | | | | verific: rewrite initial assume/asserts prior to elaboration
| * | verific: rewrite initial assume/asserts prior to elaborationEddie Hung2020-05-151-17/+36
| | |
* | | Merge pull request #2208 from boqwxp/qbfsat-cleanupclairexen2020-07-023-255/+274
|\ \ \ | | | | | | | | qbfsat: Cleanup and refactoring
| * | | qbfsat: Remove useless comment and #ifndef guards.Alberto Gonzalez2020-07-011-5/+0
| | | |
| * | | qbfsat: Specify default values for some options in the help message.Alberto Gonzalez2020-07-011-0/+2
| | | |
| * | | qbfsat: Clean up external executable command lines and update temporary ↵Alberto Gonzalez2020-07-011-3/+7
| | | | | | | | | | | | | | | | directory name.
| * | | qbfsat: Clean up and refactor data structures into `qbfsat.h`.Alberto Gonzalez2020-07-013-248/+266
| | | |
* | | | Merge pull request #2186 from YosysHQ/mwk/dfflegalizeclairexen2020-07-0220-0/+4316
|\ \ \ \ | | | | | | | | | | Add dfflegalize pass.
| * | | | dfflegalize: Add tests.Marcelina Kościelnicka2020-07-0117-0/+2957
| | | | |
| * | | | Add dfflegalize pass.Marcelina Kościelnicka2020-07-013-0/+1359
| | | | |
* | | | | Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ffclairexen2020-07-021-2/+1
|\ \ \ \ \ | | | | | | | | | | | | fmcombine: use the master ff cell type list
| * | | | | fmcombine: use the master ff cell type listMarcelina Kościelnicka2020-06-301-2/+1
| |/ / / /
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 18:50:08 +0000