aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Collapse)AuthorAgeFilesLines
* json: remove the 32-bit parameter special caseMarcin Kościelnicki2020-02-011-10/+28
| | | | | | | | | | | | | | | | | | | | | | | | | Before, the rules for encoding parameters in JSON were as follows: - if the parameter is not a string: - if it is exactly 32 bits long and there are no z or x bits, emit it as an int - otherwise, emit it as a string made of 0/1/x/z characters - if the parameter is a string: - if it contains only 0/1/x/z characters, append a space at the end to distinguish it from a non-string - otherwise, emit it directly However, this caused a problem in the json11 parser used in nextpnr: yosys emits unsigned ints, and nextpnr parses them as signed, using the value of INT_MIN for values that overflow the signed int range. This caused destruction of LUT5 initialization values. Since both nextpnr and yosys parser can also accept 32-bit parameters in the same encoding as other widths, let's just remove that special case. The old behavior is still left behind a `-compat-int` flag, in case someone relies on it.
* Preserve wires with keep attribute in EDIF back-endClaire Wolf2020-01-291-9/+34
| | | | Signed-off-by: Claire Wolf <clifford@clifford.at>
* Merge pull request #1619 from YosysHQ/eddie/abc9_refactorEddie Hung2020-01-271-363/+192
|\ | | | | Refactor `abc9` pass
| * Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-211-0/+2
| |\
| * | write_xaiger: fix for (* keep *) on flop outputEddie Hung2020-01-211-3/+3
| | |
| * | write_xaiger: skip abc9_flop only if abc_box_seq presentEddie Hung2020-01-151-1/+2
| | |
| * | write_xaiger: do not export flop inputs as POsEddie Hung2020-01-141-2/+6
| | |
| * | abc9_ops: -reintegrate to not trim box padding anymoreEddie Hung2020-01-141-1/+1
| | |
| * | abc9_ops/write_xaiger: update docEddie Hung2020-01-141-1/+2
| | |
| * | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaigerEddie Hung2020-01-141-3/+6
| | |
| * | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-141-25/+37
| |\ \
| * | | write_xaiger: fix case of PI and CI and (* keep *)Eddie Hung2020-01-131-0/+5
| | | |
| * | | abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-131-8/+15
| | | |
| * | | abc9: respect (* keep *) on cellsEddie Hung2020-01-131-61/+69
| | | |
| * | | write_xaiger: add support and test for (* keep *) on wiresEddie Hung2020-01-131-7/+17
| | | |
| * | | write_xaiger: cache arrival timesEddie Hung2020-01-131-11/+17
| | | |
| * | | cleanupEddie Hung2020-01-111-1/+1
| | | |
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-111-18/+27
| |\ \ \
| * | | | Stray log_moduleEddie Hung2020-01-061-2/+0
| | | | |
| * | | | Revert "write_xaiger to pad, not abc9_ops -prep_holes"Eddie Hung2020-01-061-16/+10
| | | | | | | | | | | | | | | | | | | | This reverts commit b5f60e055d07579a2d4f23fc053ca030f103f377.
| * | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-062-56/+41
| |\ \ \ \
| * | | | | write_xaiger to pad, not abc9_ops -prep_holesEddie Hung2020-01-051-10/+16
| | | | | |
| * | | | | Fix when -dff not givenEddie Hung2020-01-041-14/+10
| | | | | |
| * | | | | Call -prep_holes before aigmap; fix topo orderingEddie Hung2020-01-031-8/+1
| | | | | |
| * | | | | WIPEddie Hung2020-01-031-56/+0
| | | | | |
| * | | | | Preserve topo ordering from -prep_holes to write_xaigerEddie Hung2020-01-031-159/+77
| | | | | |
| * | | | | WIPEddie Hung2020-01-031-67/+8
| | | | | |
| * | | | | WIPEddie Hung2020-01-031-23/+141
| | | | | |
| * | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-021-145/+128
| |\ \ \ \ \
| * | | | | | Move Pass::call() out of abc9_ops into abc9Eddie Hung2019-12-301-0/+4
| | | | | | |
| * | | | | | CleanupEddie Hung2019-12-301-7/+3
| | | | | | |
| * | | | | | Rid unnecessary ifEddie Hung2019-12-301-13/+11
| | | | | | |
| * | | | | | Get rid of holes_modeEddie Hung2019-12-301-70/+35
| | | | | | |
| * | | | | | Add abc9_ops -prep_holesEddie Hung2019-12-301-132/+8
| | | | | | |
* | | | | | | Improve yosys-smtbmc "solver not found" handlingClaire Wolf2020-01-271-1/+5
| |_|_|_|_|/ |/| | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <clifford@clifford.at>
* | | | | | Merge pull request #1629 from YosysHQ/mwk/edif-zClaire Wolf2020-01-211-0/+2
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | edif: Just ignore connections to 'z
| * | | | | edif: Just ignore connections to 'zMarcin Kościelnicki2020-01-131-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Connecting a const 'z to a net should be equivalent to not connecting it at all, so let's just ignore such connections on output.
* | | | | | Merge pull request #1623 from YosysHQ/mmicko/edif_attrMiodrag Milanović2020-01-141-25/+37
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Export wire properties in EDIF
| * | | | | remove whitespaceMiodrag Milanovic2020-01-101-1/+1
| | | | | |
| * | | | | Export wire properties as well in EDIFMiodrag Milanovic2020-01-101-26/+38
| | |_|/ / | |/| | |
* | | | | write_xaiger: create holes_sigmap before modificationsEddie Hung2020-01-111-1/+2
| |_|_|/ |/| | |
* | | | write_xaiger: sort holes by offset as well as port_idEddie Hung2020-01-111-1/+2
| | | |
* | | | write_xaiger: cleanup holes generationEddie Hung2020-01-081-80/+89
| | | |
* | | | write_xaiger: holes PIs only if whiteboxEddie Hung2020-01-081-13/+18
|/ / /
* | | write_xaiger: make more robust, update docEddie Hung2020-01-061-29/+14
| | |
* | | write_aiger: make more robustEddie Hung2020-01-061-0/+8
| | |
* | | Restore write_xaiger's holes_mode since port_id order causes QoREddie Hung2020-01-031-27/+19
| | | | | | | | | | | | regressions inside abc9
* | | CleanupEddie Hung2020-01-021-2/+1
| | |
* | | write_xaiger: get rid of external_bits dictEddie Hung2020-01-021-1/+1
| |/ |/|
* | abc9 -keepff -> -dff; refactor dff operationsEddie Hung2020-01-021-89/+47
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-04 09:28:12 +0000