aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | ABC9 to call &sweepEddie Hung2019-05-261-2/+1
| | | |
* | | | TypoEddie Hung2019-05-261-1/+1
| | | |
* | | | Combine ABC_COMMAND_LUTEddie Hung2019-05-261-2/+1
| | | |
* | | | Fix "a" extensionEddie Hung2019-05-261-1/+3
| | | |
* | | | Add &fraig and &mfs backEddie Hung2019-05-241-2/+1
| | | |
* | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-215-13/+27
|\ \ \ \ | | |_|/ | |/| |
| * | | Fix two instances of integer-assignment to string.Henner Zeller2019-05-141-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o In cover.cc, the int-result of mkstemps() was assigned to a string and silently interpreted as a single-character filename with a funny value. Fix with the intent: assign the filename. o in libparse.cc, an int was assigned to a string, but depending on visible constructors, this is ambiguous. Explicitly cast this to a char.
| * | | Zinit option '-singleton' -> '-all'Makai Mann2019-05-101-1/+1
| | | |
| * | | Merge pull request #991 from kristofferkoch/gcc9-warningsClifford Wolf2019-05-081-2/+2
| |\ \ \ | | | | | | | | | | Fix all warnings that occurred when compiling with gcc9
| | * | | Fix all warnings that occurred when compiling with gcc9Kristoffer Ellersgaard Koch2019-05-081-2/+2
| | | | |
| * | | | 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>
| * | | If init is 1'bx, do not add to dict as per @cliffordwolfEddie Hung2019-05-031-1/+2
| | | |
| * | | Revert "dffinit -noreinit to silently continue when init value is 1'bx"Eddie Hung2019-05-031-12/+4
| | | | | | | | | | | | | | | | This reverts commit aa081f83c791b1d666214776aaf744a80ce6a690.
| * | | dffinit -noreinit to silently continue when init value is 1'bxEddie Hung2019-05-021-4/+12
| | | |
* | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-021-1/+11
|\| | |
| * | | Copy with 1'bx padding in $shiftxEddie Hung2019-04-281-1/+11
| | |/ | |/|
| * | Merge pull request #914 from YosysHQ/xc7srlEddie Hung2019-04-221-5/+159
| |\ \ | | | | | | | | synth_xilinx to now infer SRL16E/SRLC32E
* | \ \ Merge branch 'xaig' into xc7muxEddie Hung2019-04-222-7/+38
|\ \ \ \ | | |_|/ | |/| |
| * | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-222-6/+35
| |\| |
| | * | Merge pull request #951 from YosysHQ/clifford/logdebugClifford Wolf2019-04-221-5/+32
| | |\ \ | | | | | | | | | | Add log_debug() framework
| | | * | Add log_debug() frameworkClifford Wolf2019-04-221-5/+32
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Merge remote-tracking branch 'origin/clifford/libwb' into xaigEddie Hung2019-04-211-1/+1
| |\ \ \ \ | | | |/ / | | |/| |
| * | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-204-32/+39
| |\ \ \ \
| * | | | | Ignore 'whitebox' attr in flatten with "-wb" optionEddie Hung2019-04-181-5/+19
| | | | | |
| * | | | | Merge remote-tracking branch 'origin/clifford/whitebox' into xaigEddie Hung2019-04-182-3/+3
| |\ \ \ \ \
| * | | | | | Skip if abc_box_id earlierEddie Hung2019-04-171-3/+3
| | | | | | |
| * | | | | | Do not print slack histogramEddie Hung2019-04-171-1/+1
| | | | | | |
| * | | | | | Working ABC9 scriptEddie Hung2019-04-171-2/+2
| | | | | | |
| * | | | | | abc9 to output some more infoEddie Hung2019-04-161-1/+2
| | | | | | |
| * | | | | | Port from xc7mux branchEddie Hung2019-04-161-17/+55
| | | | | | |
* | | | | | | Merge remote-tracking branch 'origin/xc7srl' into xc7muxEddie Hung2019-04-228-126/+220
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| * | | | | | Merge remote-tracking branch 'origin/master' into xc7srlEddie Hung2019-04-222-2/+4
| |\ \ \ \ \ \ | | | |_|_|_|/ | | |/| | | |
| | * | | | | attrmap: extend -remove to allow removing attributes with any value.whitequark2019-04-221-1/+3
| | | |_|_|/ | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Currently, `-remove foo` would only remove an attribute `foo = ""`, which doesn't work on an attribute like `src` that may have any value. Extend `-remove` to handle both cases. `-remove foo=""` has the old behavior, and `-remove foo` will remove the attribute with whatever value it may have, which is still compatible with the old behavior.
| | * | | | Disable blackbox detection in techmap filesClifford Wolf2019-04-221-1/+1
| | | |_|/ | | |/| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Use new pmux2shiftx from #944, remove my old attemptEddie Hung2019-04-213-134/+0
| | | | |
| * | | | Merge remote-tracking branch 'origin/master' into xc7srlEddie Hung2019-04-203-8/+29
| |\| | |
| | * | | Merge pull request #943 from YosysHQ/clifford/whiteboxClifford Wolf2019-04-203-8/+29
| | |\ \ \ | | | | | | | | | | | | [WIP] Add "whitebox" attribute, add "read_verilog -wb"
| | | * | | Add "techmap -wb", use in formal flowsClifford Wolf2019-04-201-1/+8
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Check blackbox attribute in techmap/simplemapClifford Wolf2019-04-202-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Ignore 'whitebox' attr in flatten with "-wb" optionEddie Hung2019-04-181-5/+19
| | | | |/ | | | |/|
| | | * | Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-182-3/+3
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Merge remote-tracking branch 'origin/pmux2shiftx' into xc7srlEddie Hung2019-04-202-0/+82
| |\ \ \ \
| | * | | | Fix ordering of when to insert zero indexEddie Hung2019-04-111-2/+1
| | | | | |
| * | | | | Merge remote-tracking branch 'origin' into xc7srlEddie Hung2019-04-202-31/+29
| |\ \ \ \ \ | | | |/ / / | | |/| | |
| | * | | | Spelling fixesEddie Hung2019-04-191-2/+2
| | | | | |
| | * | | | 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.