Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | Experimental sim changes | Claire Xenia Wolf | 2022-02-25 | 1 | -20/+22 | |
|/ / / / / / | ||||||
* | | | | | | Bump version | github-actions[bot] | 2022-02-25 | 1 | -1/+1 | |
* | | | | | | gowin: Remove unnecessary attributes | YRabbit | 2022-02-24 | 1 | -5/+0 | |
* | | | | | | gowin: Add support for true differential output | YRabbit | 2022-02-24 | 1 | -0/+11 | |
| |_|_|/ / |/| | | | | ||||||
* | | | | | Merge pull request #3211 from YosysHQ/micko/witness | Claire Xen | 2022-02-22 | 2 | -2/+97 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fix cycle 0 in aiger witness co-simulation | Claire Xenia Wolf | 2022-02-18 | 1 | -12/+15 | |
| * | | | | | Changed error message | Miodrag Milanovic | 2022-02-18 | 1 | -1/+1 | |
| * | | | | | Added AIGER witness file co simulation | Miodrag Milanovic | 2022-02-18 | 1 | -1/+93 | |
* | | | | | | Merge pull request #3197 from YosysHQ/claire/smtbmcfix | Claire Xen | 2022-02-22 | 1 | -1/+4 | |
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | ||||||
| * | | | | | Add a bit of flexibilty re trace length when processing aiger witnesses in sm... | Claire Xenia Wolf | 2022-02-11 | 1 | -1/+4 | |
* | | | | | | Bump version | github-actions[bot] | 2022-02-22 | 1 | -1/+1 | |
* | | | | | | Merge pull request #3203 from YosysHQ/micko/sim_ff | Miodrag Milanović | 2022-02-21 | 45 | -172/+1170 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Fix handling of ce_over_srst | Miodrag Milanovic | 2022-02-21 | 1 | -3/+2 | |
| | |/ / / / | |/| | | | | ||||||
| * | | | | | simplify logic of handling flip-flops and latches | Miodrag Milanovic | 2022-02-18 | 1 | -118/+42 | |
| * | | | | | Review cleanup | Miodrag Milanovic | 2022-02-17 | 1 | -6/+5 | |
| * | | | | | test dlatchsr and adlatch | Miodrag Milanovic | 2022-02-16 | 4 | -4/+94 | |
| * | | | | | Added test cases | Miodrag Milanovic | 2022-02-16 | 39 | -0/+897 | |
| * | | | | | Add support for various ff/latch cells simulation | Miodrag Milanovic | 2022-02-16 | 3 | -169/+258 | |
| | |/ / / | |/| | | | ||||||
* / | | | | ecp5: Do not use specify in generate in cells_sim.v. | Marcelina Kościelnicka | 2022-02-21 | 1 | -28/+15 | |
|/ / / / | ||||||
* | | | | Bump version | github-actions[bot] | 2022-02-16 | 1 | -1/+1 | |
* | | | | Merge pull request #3204 from YosysHQ/claire/update-abc | Miodrag Milanović | 2022-02-15 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * | | | | Bump ABC version | Miodrag Milanovic | 2022-02-15 | 1 | -1/+1 | |
|/ / / / | ||||||
* | | | | Bump version | github-actions[bot] | 2022-02-15 | 1 | -1/+1 | |
* | | | | verilog: support for time scale delay values | Zachary Snow | 2022-02-14 | 4 | -4/+42 | |
* | | | | Fix access to whole sub-structs (#3086) | Kamil Rakoczy | 2022-02-14 | 7 | -11/+72 | |
* | | | | Bump version | github-actions[bot] | 2022-02-13 | 1 | -1/+1 | |
* | | | | gowin: Add remaining block RAM blackboxes. | Marcelina Kościelnicka | 2022-02-12 | 1 | -72/+527 | |
* | | | | Bump version | github-actions[bot] | 2022-02-12 | 1 | -1/+1 | |
* | | | | verilog: fix dynamic dynamic range asgn elab | Zachary Snow | 2022-02-11 | 4 | -17/+144 | |
* | | | | verilog: fix const func eval with upto variables | Zachary Snow | 2022-02-11 | 5 | -3/+99 | |
* | | | | Merge pull request #2376 from nmoroze/clk2ff-better-names | Claire Xen | 2022-02-11 | 3 | -9/+40 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Merge branch 'master' into clk2ff-better-names | Claire Xen | 2022-02-11 | 757 | -8621/+49373 | |
| |\ \ \ | ||||||
| * | | | | clk2fflogic: nice names for autogenerated signals | Noah Moroze | 2021-03-02 | 3 | -9/+39 | |
* | | | | | Merge pull request #3164 from zachjs/fix-ast-warn | Miodrag Milanović | 2022-02-11 | 1 | -1/+1 | |
|\ \ \ \ \ | |_|/ / / |/| | | | | ||||||
| * | | | | fix dumpAst() compilation warning | Zachary Snow | 2022-01-18 | 1 | -1/+1 | |
* | | | | | Merge pull request #2019 from boqwxp/glift | Claire Xen | 2022-02-11 | 21 | -1/+7849 | |
|\ \ \ \ \ | ||||||
| * | | | | | glift: Use ID() rather than string literals. | Alberto Gonzalez | 2020-07-01 | 1 | -11/+11 | |
| * | | | | | glift: Use worker pattern. | Alberto Gonzalez | 2020-07-01 | 1 | -80/+75 | |
| * | | | | | glift: Add support for $_NAND_ and $_NOR_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -8/+11 | |
| * | | | | | glift: Add support for $_MUX_ and $_NMUX_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -1/+34 | |
| * | | | | | glift: Add support for $_XOR_ and $_XNOR_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -15/+79 | |
| * | | | | | glift: Add initial hierarchy support. | Alberto Gonzalez | 2020-07-01 | 1 | -12/+59 | |
| * | | | | | glift: Replace `YS_OVERRIDE` with `override`. | Alberto Gonzalez | 2020-07-01 | 1 | -2/+2 | |
| * | | | | | glift: Add CODEOWNERS entry. | Alberto Gonzalez | 2020-07-01 | 1 | -0/+1 | |
| * | | | | | glift: Add `-simple-cost-model` option | Alberto Gonzalez | 2020-07-01 | 1 | -20/+45 | |
| * | | | | | glift: Use `qbfsat -O2` instead of manually calling `abc`. | Alberto Gonzalez | 2020-07-01 | 8 | -40/+8 | |
| * | | | | | glift: Add `-instrument-more` option to add 4 more versions of taint tracking... | Alberto Gonzalez | 2020-07-01 | 1 | -44/+124 | |
| * | | | | | glift: Change command names to better represent their functions. | Alberto Gonzalez | 2020-07-01 | 10 | -49/+49 | |
| * | | | | | glift: Add `-create-imprecise` command, rename other commands, and re-work th... | Alberto Gonzalez | 2020-07-01 | 10 | -40/+67 | |
| * | | | | | glift: Add examples, including a number of benchmarks used in some academic w... | Alberto Gonzalez | 2020-07-01 | 18 | -1/+7279 |