aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/abc.cc
Commit message (Collapse)AuthorAgeFilesLines
* Fix tmpdir naming when passing -nocleanup option to abc(9) on systems where ↵N. Engelhardt2022-09-131-3/+6
| | | | base_tmpdir isn't /tmp/
* Merge pull request #3458 from QuantamHD/abc_fasterN. Engelhardt2022-08-311-6/+6
|\
| * Improves ABC command runtime by 10-100xEthan Mahintorabi2022-08-241-6/+6
| | | | | | | | | | | | | | | | After speaking with the author of ABC he let me know that ifraig is a very old command, and that &get; &fraig -x; &put is over 100x faster than ifraig with improved PPA results. After making the change I confirmed that this is in fact a major speed up. On our internal designs in O(millions) of standard cells we saw multi hour reductions in runtime. Also included is an improvement to the dress command. Using AIG based transformations removes the spec it SATs against. Proving the input blif will make sure that no matter what commands are run the dress command can still do its job. I noticed a regression against some LUT mapping jobs that prompted me to fix this.
* | Fitting help messages to 80 character widthKrystalDelusion2022-08-241-3/+4
|/ | | | | | | | | Uses the regex below to search (using vscode): ^\t\tlog\("(.{10,}(?<!\\n)|.{81,}\\n)"\); Finds any log messages double indented (which help messages are) and checks if *either* there are is no newline character at the end, *or* the number of characters before the newline is more than 80.
* support file locations containing spacesMiodrag Milanovic2022-08-081-5/+5
|
* Fix external ABC build after commit 0ca0932b5.Catherine2022-07-071-2/+4
|
* Observe $TMPDIR variable when creating tmp filesMohamed A. Bamakhrama2022-05-271-1/+1
| | | | | | | | | POSIX defines $TMPDIR as containing the pathname of the directory where programs can create temporary files. On most systems, this variable points to "/tmp". However, on some systems it can point to a different location. Without respecting this variable, yosys fails to run on such systems. Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de>
* abc: Use dict/pool instead of std::map/std::setMarcelina Kościelnicka2022-05-041-14/+14
|
* abc: Add support for FFs with reset in -dffMarcelina Kościelnicka2022-04-071-90/+229
|
* abc: Fix {I} and {P} substitutionAnton Blanchard2022-02-231-2/+2
| | | | We were searching for {D} after the first match of {I} or {P}.
* Spelling fix in abc.ccClaire Xen2021-11-101-1/+1
|
* Add genlib support to ABC commandClaire Xenia Wolf2021-11-101-21/+40
| | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
| | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* Fixes command line for abc pass in -fast -sop modeRobert Baruch2021-02-161-1/+1
|
* 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>
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-10 03:54:07 +0000