Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add dffunmap pass. | Marcelina Kościelnicka | 2020-07-31 | 1 | -0/+1 |
| | | | | | To be used with backends that cannot deal with fancy FF types (like blif or smt). | ||||
* | Add dfflegalize pass. | Marcelina Kościelnicka | 2020-07-01 | 1 | -0/+1 |
| | |||||
* | flatten: split from techmap. | whitequark | 2020-06-03 | 1 | -0/+1 |
| | | | | | | | Although the two passes started out very similar, they diverged over time and now have little in common. Moreover, `techmap` is extremely complex while `flatten` does not have to be, and this complexity interferes with improving `flatten`. | ||||
* | techmap: use +/techmap.v instead of an ad-hoc code generator. | whitequark | 2020-06-02 | 1 | -12/+0 |
| | |||||
* | Add WASI platform support. | whitequark | 2020-04-30 | 1 | -1/+1 |
| | | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function. | ||||
* | Get rid of dffsr2dff. | Marcelina Kościelnicka | 2020-04-15 | 1 | -1/+0 |
| | | | | | | This pass is a proper subset of opt_rmdff, which is called by opt, which is called by every synth flow in the coarse part. Thus, it never actually does anything and can be safely removed. | ||||
* | Support custom PROGRAM_PREFIX | Miodrag Milanovic | 2020-04-10 | 1 | -3/+3 |
| | |||||
* | abc9: restore ability to use ABCEXTERNAL | Gabriel Somlo | 2020-01-30 | 1 | -0/+1 |
| | | | | Signed-off-by: Gabriel Somlo <gsomlo@gmail.com> | ||||
* | Add abc9_ops -reintegrate; moved out from now abc9_exe | Eddie Hung | 2020-01-06 | 1 | -1/+1 |
| | |||||
* | abc9_techmap -> _map; called from abc9 script pass along with abc9_ops | Eddie Hung | 2019-12-28 | 1 | -1/+2 |
| | |||||
* | Rename abc9.cc -> abc9_techmap.cc | Eddie Hung | 2019-12-28 | 1 | -0/+1 |
| | |||||
* | Added extractinv pass | Marcin Kościelnicki | 2019-09-19 | 1 | -0/+1 |
| | |||||
* | Add clock buffer insertion pass, improve iopadmap. | Marcin Kościelnicki | 2019-08-13 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A few new attributes are defined for use in cell libraries: - iopad_external_pin: marks PAD cell's external-facing pin. Pad insertion will be skipped for ports that are already connected to such a pin. - clkbuf_sink: marks an input pin as a clock pin, requesting clock buffer insertion. - clkbuf_driver: marks an output pin as a clock buffer output pin. Clock buffer insertion will be skipped for nets that are already driven by such a pin. All three are module attributes that should be set to a comma-separeted list of pin names. Clock buffer insertion itself works as follows: 1. All cell ports, starting from bottom up, can be marked as clock sinks (requesting clock buffer insertion) or as clock buffer outputs. 2. If a wire in a given module is driven by a cell port that is a clock buffer output, it is in turn also considered a clock buffer output. 3. If an input port in a non-top module is connected to a clock sink in a contained cell, it is also in turn considered a clock sink. 4. If a wire in a module is driven by a non-clock-buffer cell, and is also connected to a clock sink port in a contained cell, a clock buffer is inserted in this module. 5. For the top module, a clock buffer is also inserted on input ports connected to clock sinks, optionally with a special kind of input PAD (such as IBUFG for Xilinx). 6. Clock buffer insertion on a given wire is skipped if the clkbuf_inhibit attribute is set on it. | ||||
* | 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> | ||||
* | Compile abc9 | Eddie Hung | 2019-02-08 | 1 | -0/+1 |
| | |||||
* | flowmap: new techmap pass. | whitequark | 2019-01-03 | 1 | -0/+1 |
| | |||||
* | ecp5: Adding synchronous set/reset support | David Shah | 2018-07-14 | 1 | -1/+1 |
| | | | | Signed-off-by: David Shah <davey1576@gmail.com> | ||||
* | Refactoring: Renamed greenpak4_counters pass to extract_counter, moved it to ↵ | Andrew Zonenberg | 2017-08-28 | 1 | -0/+1 |
| | | | | techmap/ since it's going to become a generic pass | ||||
* | Rename recover_reduce to extract_reduce, fix args handling | Clifford Wolf | 2017-08-28 | 1 | -1/+1 |
| | |||||
* | recover_reduce: Rename recover_reduce_core to recover_reduce | Robert Ou | 2017-08-27 | 1 | -1/+0 |
| | | | | | | | | Clifford has commented on PR #387 stating that he does not like the driver script and would prefer to only have the core script with appropriate notes in the documentation. Also rename to .cc (rather than .cpp) for consistency. | ||||
* | recover_reduce: Add driver script for the $reduce_* recover feature | Robert Ou | 2017-08-27 | 1 | -0/+1 |
| | | | | | Conflicts: passes/techmap/Makefile.inc | ||||
* | recover_reduce_core: Initial commit | Robert Ou | 2017-08-27 | 1 | -0/+1 |
| | | | | | Conflicts: passes/techmap/Makefile.inc | ||||
* | Rename "adders" to "extract_fa" | Clifford Wolf | 2017-08-25 | 1 | -1/+1 |
| | |||||
* | Add experimental adders pass | Clifford Wolf | 2017-08-22 | 1 | -0/+1 |
| | |||||
* | Added "zinit" pass | Clifford Wolf | 2016-10-12 | 1 | -0/+1 |
| | |||||
* | Added "attrmap" command | Clifford Wolf | 2016-08-09 | 1 | -0/+1 |
| | |||||
* | Added "attrmvcp" pass | Clifford Wolf | 2016-08-09 | 1 | -0/+1 |
| | |||||
* | Added "insbuf" command | Clifford Wolf | 2016-08-02 | 1 | -0/+1 |
| | |||||
* | Added "deminout" | Clifford Wolf | 2016-06-19 | 1 | -0/+1 |
| | |||||
* | Added "shregmap" pass | Clifford Wolf | 2016-04-16 | 1 | -0/+1 |
| | |||||
* | Improvements in ABCEXTERNAL handling | Clifford Wolf | 2016-03-19 | 1 | -0/+3 |
| | |||||
* | Added dffsr2dff | Clifford Wolf | 2016-02-02 | 1 | -0/+1 |
| | |||||
* | More clang sanitizer stuff | Clifford Wolf | 2016-01-31 | 1 | -1/+1 |
| | |||||
* | Added nlutmap | Clifford Wolf | 2015-09-18 | 1 | -0/+1 |
| | |||||
* | Added lut2mux pass | Clifford Wolf | 2015-09-18 | 1 | -0/+1 |
| | |||||
* | Added tribuf command | Clifford Wolf | 2015-08-16 | 1 | -0/+1 |
| | |||||
* | Adjust makefiles to work with out-of-tree builds | Clifford Wolf | 2015-08-12 | 1 | -0/+2 |
| | | | | This is based on work done by Larry Doolittle | ||||
* | Renamed "aig" to "aigmap" | Clifford Wolf | 2015-06-10 | 1 | -1/+1 |
| | |||||
* | Added "aig" pass | Clifford Wolf | 2015-06-09 | 1 | -0/+1 |
| | |||||
* | abc/blifparse files reorganization | Clifford Wolf | 2015-05-17 | 1 | -0/+4 |
| | |||||
* | Added "pmuxtree" command | Clifford Wolf | 2015-04-07 | 1 | -0/+1 |
| | |||||
* | Added "muxcover" command | Clifford Wolf | 2015-04-07 | 1 | -0/+1 |
| | |||||
* | Added "dffinit", Support for initialized Xilinx DFF | Clifford Wolf | 2015-04-04 | 1 | -0/+1 |
| | |||||
* | More emscripten stuff, Added example app | Clifford Wolf | 2015-02-15 | 1 | -0/+2 |
| | |||||
* | Fixed build with SMALL=1 | Clifford Wolf | 2014-12-30 | 1 | -1/+1 |
| | |||||
* | Added skeleton dff2dffe pass | Clifford Wolf | 2014-12-08 | 1 | -0/+1 |
| | |||||
* | Added genfiles.zip to MXE "make dist" | Clifford Wolf | 2014-10-17 | 1 | -1/+1 |
| | |||||
* | Added mxe-based cross build for win32 | Clifford Wolf | 2014-10-09 | 1 | -3/+3 |
| | |||||
* | alumacc skeleton | Clifford Wolf | 2014-09-14 | 1 | -0/+1 |
| | |||||
* | Added "maccmap" command | Clifford Wolf | 2014-09-07 | 1 | -0/+1 |
| |