| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-22 | 2 | -51/+39 |
| |\ | |||||
| | * | Remove redundant flatten | Eddie Hung | 2019-11-22 | 1 | -2/+0 |
| | | | |||||
| | * | submod to bitty rather bussy, for bussy wires used as input and output | Eddie Hung | 2019-11-22 | 1 | -48/+39 |
| | | | |||||
| | * | Stray dump | Eddie Hung | 2019-11-22 | 1 | -1/+0 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-22 | 2 | -2/+38 |
| |\| | |||||
| | * | Constant driven signals are also an input to submodules | Eddie Hung | 2019-11-22 | 1 | -2/+10 |
| | | | |||||
| | * | Add another test with constant driver | Eddie Hung | 2019-11-22 | 1 | -0/+28 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-22 | 1 | -1/+0 |
| |\| | |||||
| | * | Oops | Eddie Hung | 2019-11-22 | 1 | -1/+0 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dff | Eddie Hung | 2019-11-22 | 1 | -8/+9 |
| |\ \ | |||||
| | * | | Only action if there is more than one clock domain | Eddie Hung | 2019-11-22 | 1 | -7/+8 |
| | | | | |||||
| | * | | Replace TODO | Eddie Hung | 2019-11-22 | 1 | -1/+1 |
| | | | | |||||
| * | | | Add testcase for signal used as part input part output | Eddie Hung | 2019-11-22 | 1 | -0/+5 |
| | | | | |||||
| * | | | write_xaiger back to working with whole modules only | Eddie Hung | 2019-11-22 | 1 | -5/+2 |
| | | | | |||||
| * | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-22 | 2 | -1/+44 |
| |\ \ \ | | |/ | |/| | |||||
| | * | | Cleanup spacing | Eddie Hung | 2019-11-22 | 1 | -2/+1 |
| | | | | |||||
| | * | | sigmap(wire) should inherit port_output status of POs | Eddie Hung | 2019-11-22 | 1 | -1/+19 |
| | | | | |||||
| | * | | Add testcase | Eddie Hung | 2019-11-22 | 1 | -0/+26 |
| | | | | |||||
| * | | | Merge branch 'eddie/clkpart' into xaig_dff | Eddie Hung | 2019-11-22 | 2 | -1/+2 |
| |\ \ \ | | |/ | |/| | |||||
| | * | | Brackets | Eddie Hung | 2019-11-22 | 1 | -1/+1 |
| | | | | |||||
| | * | | Entry in Makefile.inc | Eddie Hung | 2019-11-22 | 1 | -0/+1 |
| | | | | |||||
| * | | | Merge branch 'eddie/clkpart' into xaig_dff | Eddie Hung | 2019-11-22 | 15 | -23/+591 |
| |\| | | |||||
| | * | | Add to CHANGELOG | Eddie Hung | 2019-11-22 | 1 | -0/+1 |
| | | | | |||||
| | * | | New 'clkpart' to {,un}partition design according to clock/enable | Eddie Hung | 2019-11-22 | 1 | -0/+268 |
| | |/ | |||||
| | * | Merge pull request #1517 from YosysHQ/clifford/optmem | Clifford Wolf | 2019-11-22 | 3 | -0/+146 |
| | |\ | | | | | | | Add "opt_mem" pass | ||||
| | | * | Add "opt_mem" pass | Clifford Wolf | 2019-11-22 | 3 | -0/+146 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | Merge pull request #1515 from YosysHQ/clifford/svastuff | Clifford Wolf | 2019-11-22 | 2 | -7/+39 |
| | |\ \ | | |/ | |/| | Add Verific/SVA support for "always" and "nexttime" properties | ||||
| | | * | Add Verific support for SVA nexttime properties | Clifford Wolf | 2019-11-22 | 1 | -0/+22 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | Improve handling of verific primitives in "verific -import -V" mode | Clifford Wolf | 2019-11-22 | 1 | -2/+2 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | Add Verific SVA support for "always" properties | Clifford Wolf | 2019-11-22 | 1 | -5/+15 |
| | |/ | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | Merge pull request #1511 from YosysHQ/dave/always | Clifford Wolf | 2019-11-22 | 6 | -9/+126 |
| | |\ | | | | | | | sv: Error checking for always_comb, always_latch and always_ff | ||||
| | | * | Update CHANGELOG and README | David Shah | 2019-11-22 | 2 | -0/+7 |
| | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| | | * | sv: Add tests for SV always types | David Shah | 2019-11-21 | 1 | -0/+63 |
| | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| | | * | proc_dlatch: Add error handling for incorrect always_(ff|latch|comb) usage | David Shah | 2019-11-21 | 1 | -4/+16 |
| | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| | | * | sv: Correct parsing of always_comb, always_ff and always_latch | David Shah | 2019-11-21 | 2 | -5/+40 |
| | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| | * | | gowin: Remove show command from tests. | Marcin Kościelnicki | 2019-11-22 | 1 | -1/+0 |
| | | | | |||||
| | * | | gowin: Add missing .gitignore entries | Marcin Kościelnicki | 2019-11-22 | 1 | -0/+2 |
| | |/ | |||||
| | * | Merge pull request #1507 from YosysHQ/clifford/verificfixes | Clifford Wolf | 2019-11-20 | 2 | -6/+9 |
| | |\ | | | | | | | Some fixes in our Verific integration | ||||
| | | * | Correctly treat empty modules as blackboxes in Verific | Clifford Wolf | 2019-11-20 | 1 | -1/+1 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | Do not rename VHDL entities to "entity(impl)" when they are top modules | Clifford Wolf | 2019-11-20 | 2 | -5/+8 |
| | |/ | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Revert "write_xaiger to not use module POs but only write outputs if driven" | Eddie Hung | 2019-11-22 | 1 | -23/+11 |
| | | | | | | | | | This reverts commit 0ab1e496dc601f8e9d5efbcc5b2be7cf6b2d9673. | ||||
| * | | Missing endmodule | Eddie Hung | 2019-11-22 | 1 | -0/+1 |
| | | | |||||
| * | | write_xaiger to not use module POs but only write outputs if driven | Eddie Hung | 2019-11-21 | 1 | -11/+23 |
| | | | |||||
| * | | When expanding upwards, do not capture $__ABC9_{FF,ASYNC}_ | Eddie Hung | 2019-11-21 | 1 | -1/+1 |
| | | | | | | | | | Since they should be captured downwards from the owning flop | ||||
| * | | Merge branch 'eddie/xaig_dff_adff' into xaig_dff | Eddie Hung | 2019-11-21 | 5 | -16/+55 |
| |\ \ | |||||
| | * | | Add a equiv test too | Eddie Hung | 2019-11-19 | 2 | -0/+23 |
| | | | | |||||
| | * | | Add two tests | Eddie Hung | 2019-11-19 | 1 | -0/+12 |
| | | | | |||||
| | * | | abc9 to support async flops $_DFF_[NP][NP][01]_ | Eddie Hung | 2019-11-19 | 1 | -1/+2 |
| | | | | |||||
| | * | | Do not drop async control signals in abc_map.v | Eddie Hung | 2019-11-19 | 1 | -12/+16 |
| | | | | |||||
| * | | | Add test | Eddie Hung | 2019-11-21 | 1 | -1/+6 |
| | | | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |