| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Enable &mfs for abc9, even if it only currently works for ice40 | Eddie Hung | 2019-07-11 | 1 | -1/+1 |
| | | |||||
| * | Merge pull request #1179 from whitequark/attrmap-proc | Clifford Wolf | 2019-07-11 | 1 | -0/+19 |
| |\ | | | | | attrmap: also consider process, switch and case attributes | ||||
| | * | attrmap: also consider process, switch and case attributes. | whitequark | 2019-07-10 | 1 | -0/+19 |
| | | | |||||
| * | | Merge pull request #1177 from YosysHQ/clifford/async | Clifford Wolf | 2019-07-10 | 1 | -0/+7 |
| |\ \ | |/ |/| | Fix clk2fflogic adff reset semantic to negative hold time on reset | ||||
| | * | Fix tests/various/async FFL test | Clifford Wolf | 2019-07-09 | 1 | -0/+7 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Merge pull request #1174 from YosysHQ/eddie/fix1173 | Clifford Wolf | 2019-07-09 | 1 | -0/+3 |
| |\ \ | | | | | | | Increment _TECHMAP_BITS_CONNMAP_ by one since counting from zero | ||||
| | * | | Increment _TECHMAP_BITS_CONNMAP_ by one since counting from zero | Eddie Hung | 2019-07-09 | 1 | -0/+3 |
| | |/ | |||||
| * / | Revert "Add "synth -keepdc" option" | Eddie Hung | 2019-07-09 | 1 | -1/+1 |
| |/ | |||||
| * | Merge pull request #1168 from whitequark/bugpoint-processes | Clifford Wolf | 2019-07-09 | 2 | -17/+105 |
| |\ | | | | | Add support for processes in bugpoint | ||||
| | * | bugpoint: add -assigns and -updates options. | whitequark | 2019-07-09 | 1 | -9/+81 |
| | | | |||||
| | * | proc_clean: add -quiet option. | whitequark | 2019-07-09 | 1 | -8/+24 |
| | | | | | | | | | This is useful for other passes that call it often, like bugpoint. | ||||
| * | | Merge pull request #1169 from whitequark/more-proc-cleanups | Clifford Wolf | 2019-07-09 | 5 | -22/+168 |
| |\ \ | | | | | | | A new proc_prune pass | ||||
| | * | | proc_prune: promote assigns to module connections when legal. | whitequark | 2019-07-09 | 3 | -33/+42 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This can pave the way for further transformations by exposing identities that were previously hidden in a process to any pass that uses SigMap. Indeed, this commit removes some ad-hoc logic from proc_init that appears to have been tailored to the output of genrtlil in favor of using `SigMap.apply()`. (This removal is not optional, as the ad-hoc logic cannot cope with the result of running proc_prune; a similar issue was fixed in proc_arst.) | ||||
| | * | | proc_prune: new pass. | whitequark | 2019-07-09 | 3 | -1/+138 |
| | |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The proc_prune pass is similar in nature to proc_rmdead pass: while proc_rmdead removes branches that never become active because another branch preempts it, proc_prune removes assignments that never become active because another assignment preempts them. Genrtlil contains logic similar to the proc_prune pass, but their purpose is different: genrtlil has to prune assignments to adapt the semantics of blocking assignments in HDLs (latest assignment wins) to semantics of assignments in RTLIL processes (assignment in the most specific case wins). On the other hand proc_prune is a general purpose RTLIL simplification that benefits all frontends, even those not using the Yosys AST library. The proc_prune pass is added to the proc script after proc_rmdead, since it gives better results with fewer branches. | ||||
| * | | Merge pull request #1163 from whitequark/more-case-attrs | Clifford Wolf | 2019-07-09 | 1 | -10/+16 |
| |\ \ | | | | | | | More support for case rule attributes | ||||
| | * | | proc_mux: consider \src attribute on CaseRule. | whitequark | 2019-07-08 | 1 | -10/+16 |
| | |/ | |||||
| * | | Clarify 'wreduce -keepdc' doc | Eddie Hung | 2019-07-08 | 1 | -1/+1 |
| | | | |||||
| * | | Update muxcover doc as per @ZirconiumX | Eddie Hung | 2019-07-08 | 1 | -5/+10 |
| | | | |||||
| * | | atoi -> stoi | Eddie Hung | 2019-07-08 | 1 | -5/+5 |
| | | | |||||
| * | | Add muxcover -mux2=cost option | Eddie Hung | 2019-07-08 | 1 | -1/+7 |
| |/ | |||||
| * | memory_dff: Fix checking of feedback mux input when more than one mux | David Shah | 2019-07-02 | 1 | -3/+5 |
| | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| * | Make abc9 pass aware of optional ABCEXTERNAL override | Gabriel L. Somlo | 2019-06-28 | 1 | -0/+1 |
| | | | | | Signed-off-by: Gabriel Somlo <gsomlo@gmail.com> | ||||
| * | Fix spacing | Eddie Hung | 2019-06-28 | 1 | -2/+2 |
| | | |||||
| * | Merge pull request #1098 from YosysHQ/xaig | Eddie Hung | 2019-06-28 | 3 | -1/+1177 |
| |\ | | | | | "abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs) | ||||
| | * | Do not use Module::remove() iterator version | Eddie Hung | 2019-06-27 | 1 | -5/+6 |
| | | | |||||
| | * | Remove &retime when abc9 -fast | Eddie Hung | 2019-06-27 | 1 | -1/+1 |
| | | | |||||
| | * | Cleanup abc9.cc | Eddie Hung | 2019-06-27 | 1 | -15/+17 |
| | | | |||||
| | * | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-06-27 | 1 | -3/+11 |
| | |\ | |||||
| | * | | Merge origin/master | Eddie Hung | 2019-06-27 | 2 | -9/+28 |
| | | | | |||||
| | * | | Fix spacing | Eddie Hung | 2019-06-26 | 1 | -38/+38 |
| | | | | |||||
| | * | | Support more than one port in the abc_scc_break attr | Eddie Hung | 2019-06-26 | 1 | -38/+42 |
| | | | | |||||
| | * | | Missing muxpack.o in Makefile | Eddie Hung | 2019-06-25 | 1 | -0/+1 |
| | | | | |||||
| | * | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-06-25 | 2 | -5/+379 |
| | |\ \ | |||||
| | * | | | nullptr check | Eddie Hung | 2019-06-25 | 1 | -0/+1 |
| | | | | | |||||
| | * | | | Fix for abc_scc_break is bus | Eddie Hung | 2019-06-24 | 1 | -21/+23 |
| | | | | | |||||
| | * | | | More meaningful error message | Eddie Hung | 2019-06-24 | 1 | -0/+2 |
| | | | | | |||||
| | * | | | Do not use log_id as it strips \\, also fix scc for |wire| > 1 | Eddie Hung | 2019-06-24 | 1 | -13/+30 |
| | | | | | |||||
| | * | | | Fix abc9's scc breaker, also break on abc_scc_break attr | Eddie Hung | 2019-06-24 | 1 | -9/+31 |
| | | | | | |||||
| | * | | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-06-21 | 3 | -48/+118 |
| | |\ \ \ | |||||
| | * | | | | Do not rename non LUT cells in abc9 | Eddie Hung | 2019-06-21 | 1 | -11/+16 |
| | | | | | | |||||
| | * | | | | Fix gcc warning of potentially uninitialised | Eddie Hung | 2019-06-20 | 1 | -2/+2 |
| | | | | | | |||||
| | * | | | | Fix simple_abc9/generate test with 1'bx at MSB | Eddie Hung | 2019-06-20 | 1 | -1/+1 |
| | | | | | | |||||
| | * | | | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-06-20 | 8 | -11/+51 |
| | |\ \ \ \ | |||||
| | * | | | | | Do not call "setundef -zero" in abc9 | Eddie Hung | 2019-06-20 | 1 | -5/+2 |
| | | | | | | | |||||
| | * | | | | | &scorr before &sweep, remove &retime as recommended | Eddie Hung | 2019-06-17 | 1 | -1/+1 |
| | | | | | | | |||||
| | * | | | | | Copy not move parameters/attributes | Eddie Hung | 2019-06-17 | 1 | -3/+4 |
| | | | | | | | |||||
| | * | | | | | Fix leak removing cells during ABC integration; also preserve attr | Eddie Hung | 2019-06-17 | 1 | -25/+26 |
| | | | | | | | |||||
| | * | | | | | Re-enable &dc2 | Eddie Hung | 2019-06-17 | 1 | -1/+1 |
| | | | | | | | |||||
| | * | | | | | Cleanup | Eddie Hung | 2019-06-16 | 1 | -51/+7 |
| | | | | | | | |||||
| | * | | | | | Get rid of compiler warnings | Eddie Hung | 2019-06-14 | 1 | -5/+5 |
| | | | | | | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |