aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc.cc
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #2549 from pgadfort/support-multiple-libswhitequark2021-01-251-15/+21
|\ | | | | adding support for passing multiple liberty files to abc
| * adding support for passing multiple liberty files to abcPeter Gadfort2021-01-181-15/+21
| |
* | Fixed missing goto statement in passes/techmap/abc.ccTobias Faller2021-01-121-0/+1
|/
* Expose abc and data paths as globalsMiodrag Milanovic2020-11-061-17/+1
|
* This patch adds support for defining the ABC location at runtime instead of ↵Ethan Mahintorabi2020-10-281-1/+6
| | | | | | at compile time. This is helpful in build systems like bazel which do not have stable locations for binaries or directories during the compilation phase. This change should be backwards compatible with the existing behavior.
* abc: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-25/+6
|
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
|
* Add WASI platform support.whitequark2020-04-301-2/+9
| | | | | | | | | | | | 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.
* Merge pull request #1864 from boqwxp/cleanup_techmap_abcwhitequark2020-04-171-99/+80
|\ | | | | Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`
| * Simplify `passes/techmap/abc.cc` and remove superfluous `RTLIL::SigSpec` ↵Alberto Gonzalez2020-04-141-132/+49
| | | | | | | | | | | | constructions. Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`.Alberto Gonzalez2020-04-051-99/+163
| |
* | Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-101-5/+5
|/
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-74/+74
|
* abc: add abc.debug scratchpad optionEddie Hung2020-03-061-0/+5
|
* error if multiple -g options are given for abcN. Engelhardt2020-01-061-0/+2
|
* check scratchpad for arguments in abc pass tooN. Engelhardt2020-01-061-157/+214
|
* Merge branch 'master' of https://github.com/YosysHQ/yosys into ↵N. Engelhardt2020-01-031-12/+16
|\ | | | | | | abc_scratchpad_script
| * Merge pull request #1601 from YosysHQ/eddie/synth_retimeEddie Hung2020-01-021-11/+15
| |\ | | | | | | "abc -dff" to no longer retime by default
| | * Revert "ABC to call retime all the time"Eddie Hung2019-12-301-11/+15
| | | | | | | | | | | | This reverts commit 9aa94370a54c016421740d2ce32ef0aa338d0dbd.
| * | GrammarEddie Hung2019-12-301-1/+1
| |/
* / check scratchpad variables for custom abc scriptsN. Engelhardt2019-12-131-0/+2
|/
* Merge pull request #1300 from YosysHQ/eddie/cleanup2Clifford Wolf2019-08-171-45/+45
|\ | | | | Use ID::{A,B,Y,keep,blackbox,whitebox} instead of ID()
| * Use ID::keep more liberally tooEddie Hung2019-08-151-2/+2
| |
| * Use more ID::{A,B,Y,blackbox,whitebox}Eddie Hung2019-08-151-43/+43
| |
* | Add missing NMUX to "abc -g" handlingClifford Wolf2019-08-161-0/+1
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* ID(\\.*) -> ID(.*)Eddie Hung2019-08-151-135/+135
|
* Transform all "\\*" identifiers into ID()Eddie Hung2019-08-151-135/+135
|
* Transform "$.*" to ID("$.*") in passes/techmapEddie Hung2019-08-151-66/+63
|
* More use of IdString::in()Eddie Hung2019-08-151-7/+6
|
* Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-101-12/+12
|\ | | | | Cleanup a few barnacles across codebase
| * substr() -> compare()Eddie Hung2019-08-071-5/+5
| |
| * Merge remote-tracking branch 'origin/master' into eddie/cleanupEddie Hung2019-08-071-22/+20
| |\
| * | stoi -> atoiEddie Hung2019-08-071-7/+7
| | |
| * | Use std::stoi instead of atoi(<str>.c_str())Eddie Hung2019-08-061-6/+6
| | |
| * | Make liberal use of IdString.in()Eddie Hung2019-08-061-8/+8
| | |
* | | Disable NMUX, AOI3, OAI3, AOI4, OAI4 in ABC default gate lib, add "abc -g ↵Clifford Wolf2019-08-091-15/+54
| |/ |/| | | | | | | | | all", fixes #1273 Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Redesign of cell cost APIClifford Wolf2019-08-071-22/+20
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add $_NMUX_, add "abc -g cmos", add proper cmos cell costsClifford Wolf2019-08-061-28/+62
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Visual Studio build fixMiodrag Milanovic2019-07-311-0/+1
|
* Do not double count cells in abcEddie Hung2019-07-121-2/+2
|
* Fix spellingEddie Hung2019-06-121-1/+1
|
* abc: Fix handling of postfixed names (e.g. for retiming)David Shah2019-05-041-4/+4
| | | | Signed-off-by: David Shah <dave@ds0.me>
* abc: Improve name recoveryDavid Shah2019-05-041-4/+17
| | | | Signed-off-by: David Shah <dave@ds0.me>
* Fix abc's remap_name to not ignore [^0-9] when extracting sidEddie Hung2019-04-181-12/+16
|
* ABC to call retime all the timeEddie Hung2019-04-181-15/+11
|
* Revert "abc -dff now implies "-D 0" otherwise retiming doesn't happen"Eddie Hung2019-04-101-2/+0
| | | | This reverts commit 19271bd996a79cb4be1db658fcf18227ee0a1dff.
* Revert ""&nf -D 0" fails => use "-D 1" instead"Eddie Hung2019-04-101-1/+1
| | | | This reverts commit 3c253818cab2013dc4db55732d3e21cfa0dc3f19.
* Fix S0 -> S1Eddie Hung2019-04-051-1/+1
|
* "&nf -D 0" fails => use "-D 1" insteadEddie Hung2019-04-051-1/+1
|
* abc -dff now implies "-D 0" otherwise retiming doesn't happenEddie Hung2019-04-051-0/+2
|