aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/Makefile.inc
Commit message (Collapse)AuthorAgeFilesLines
* Add bwmuxmap passJannis Harder2022-11-301-0/+1
|
* Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-281-0/+2
|
* Remove now-redundant dff2dffe pass.Marcelina Kościelnicka2020-08-071-1/+0
|
* Remove now-redundant dff2dffs pass.Marcelina Kościelnicka2020-08-071-1/+0
|
* Add dffunmap pass.Marcelina Kościelnicka2020-07-311-0/+1
| | | | | To be used with backends that cannot deal with fancy FF types (like blif or smt).
* Add dfflegalize pass.Marcelina Kościelnicka2020-07-011-0/+1
|
* flatten: split from techmap.whitequark2020-06-031-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.whitequark2020-06-021-12/+0
|
* Add WASI platform support.whitequark2020-04-301-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ścielnicka2020-04-151-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_PREFIXMiodrag Milanovic2020-04-101-3/+3
|
* abc9: restore ability to use ABCEXTERNALGabriel Somlo2020-01-301-0/+1
| | | | Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
* Add abc9_ops -reintegrate; moved out from now abc9_exeEddie Hung2020-01-061-1/+1
|
* abc9_techmap -> _map; called from abc9 script pass along with abc9_opsEddie Hung2019-12-281-1/+2
|
* Rename abc9.cc -> abc9_techmap.ccEddie Hung2019-12-281-0/+1
|
* Added extractinv passMarcin Kościelnicki2019-09-191-0/+1
|
* Add clock buffer insertion pass, improve iopadmap.Marcin Kościelnicki2019-08-131-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 overrideGabriel L. Somlo2019-06-281-0/+1
| | | | Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
* Compile abc9Eddie Hung2019-02-081-0/+1
|
* flowmap: new techmap pass.whitequark2019-01-031-0/+1
|
* ecp5: Adding synchronous set/reset supportDavid Shah2018-07-141-1/+1
| | | | Signed-off-by: David Shah <davey1576@gmail.com>
* Refactoring: Renamed greenpak4_counters pass to extract_counter, moved it to ↵Andrew Zonenberg2017-08-281-0/+1
| | | | techmap/ since it's going to become a generic pass
* Rename recover_reduce to extract_reduce, fix args handlingClifford Wolf2017-08-281-1/+1
|
* recover_reduce: Rename recover_reduce_core to recover_reduceRobert Ou2017-08-271-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 featureRobert Ou2017-08-271-0/+1
| | | | | Conflicts: passes/techmap/Makefile.inc
* recover_reduce_core: Initial commitRobert Ou2017-08-271-0/+1
| | | | | Conflicts: passes/techmap/Makefile.inc
* Rename "adders" to "extract_fa"Clifford Wolf2017-08-251-1/+1
|
* Add experimental adders passClifford Wolf2017-08-221-0/+1
|
* Added "zinit" passClifford Wolf2016-10-121-0/+1
|
* Added "attrmap" commandClifford Wolf2016-08-091-0/+1
|
* Added "attrmvcp" passClifford Wolf2016-08-091-0/+1
|
* Added "insbuf" commandClifford Wolf2016-08-021-0/+1
|
* Added "deminout"Clifford Wolf2016-06-191-0/+1
|
* Added "shregmap" passClifford Wolf2016-04-161-0/+1
|
* Improvements in ABCEXTERNAL handlingClifford Wolf2016-03-191-0/+3
|
* Added dffsr2dffClifford Wolf2016-02-021-0/+1
|
* More clang sanitizer stuffClifford Wolf2016-01-311-1/+1
|
* Added nlutmapClifford Wolf2015-09-181-0/+1
|
* Added lut2mux passClifford Wolf2015-09-181-0/+1
|
* Added tribuf commandClifford Wolf2015-08-161-0/+1
|
* Adjust makefiles to work with out-of-tree buildsClifford Wolf2015-08-121-0/+2
| | | | This is based on work done by Larry Doolittle
* Renamed "aig" to "aigmap"Clifford Wolf2015-06-101-1/+1
|
* Added "aig" passClifford Wolf2015-06-091-0/+1
|
* abc/blifparse files reorganizationClifford Wolf2015-05-171-0/+4
|
* Added "pmuxtree" commandClifford Wolf2015-04-071-0/+1
|
* Added "muxcover" commandClifford Wolf2015-04-071-0/+1
|
* Added "dffinit", Support for initialized Xilinx DFFClifford Wolf2015-04-041-0/+1
|
* More emscripten stuff, Added example appClifford Wolf2015-02-151-0/+2
|
* Fixed build with SMALL=1Clifford Wolf2014-12-301-1/+1
|
* Added skeleton dff2dffe passClifford Wolf2014-12-081-0/+1
|