aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1181 from YosysHQ/xaig_dffEddie Hung2020-01-0626-1066/+1529
|\ | | | | "abc9 -dff" option for sequential synthesis
| * Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-067-1675/+512
| |\ | |/ |/|
* | Merge pull request #1617 from YosysHQ/eddie/abc9_dsp_refactorEddie Hung2020-01-066-1654/+508
|\ \ | | | | | | Refactor abc9's DSP48E1 handling
| * | Wrap arrival functions inside `YOSYS tooEddie Hung2020-01-061-0/+2
| | |
| * | Fix return value of arrival time functions, fix wordEddie Hung2020-01-061-18/+14
| | |
| * | Bump ABCREV for upstream fixEddie Hung2020-01-061-1/+1
| | |
| * | Drive $[ABCD] explicitlyEddie Hung2020-01-021-15/+21
| | |
| * | Merge remote-tracking branch 'origin/master' into eddie/abc9_dsp_refactorEddie Hung2020-01-0215-58/+83
| |\ \
| * | | ifndef __ICARUS__ -> ifdef YOSYSEddie Hung2020-01-011-2/+2
| | | |
| * | | Rework abc9's DSP48E1 modelEddie Hung2020-01-015-1656/+506
| | | |
* | | | Merge pull request #1616 from nakengelhardt/abc_scratchpad_arg_warnEddie Hung2020-01-061-0/+2
|\ \ \ \ | | | | | | | | | | error if multiple -g options are given for abc
| * | | | error if multiple -g options are given for abcN. Engelhardt2020-01-061-0/+2
|/ / / /
| | | * abc9: uncomment nothing to map messageEddie Hung2020-01-061-4/+4
| | | |
| | | * FixesEddie Hung2020-01-061-0/+3
| | | |
| | | * FixesEddie Hung2020-01-061-3/+5
| | | |
| | | * abc9: remove -markgroups option, since operates on fully selected modEddie Hung2020-01-061-22/+1
| | | |
| | | * abc9: cleanupEddie Hung2020-01-061-12/+13
| | | |
| | | * write_xaiger: make more robust, update docEddie Hung2020-01-061-29/+14
| | | |
| | | * write_aiger: make more robustEddie Hung2020-01-061-0/+8
| | | |
| | | * Add abc9.dff scratchpad optionEddie Hung2020-01-061-0/+1
| | | |
| | | * Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-062-191/+281
| | | |\ | |_|_|/ |/| | |
* | | | Merge pull request #1582 from nakengelhardt/abc_scratchpad_scriptEddie Hung2020-01-062-191/+281
|\ \ \ \ | | | | | | | | | | Check scratchpad for abc options
| * | | | check scratchpad for arguments in abc pass tooN. Engelhardt2020-01-061-157/+214
| | | | |
| * | | | inherit default values when checking scratchpad for argumentsN. Engelhardt2020-01-061-27/+10
| | | | |
| * | | | share codepath for scratchpad argument handling with command argumentsN. Engelhardt2020-01-031-40/+84
| | | | |
| * | | | Merge branch 'master' of https://github.com/YosysHQ/yosys into ↵N. Engelhardt2020-01-03122-694/+4372
| |\ \ \ \ | | | | | | | | | | | | | | | | | | abc_scratchpad_script
| * | | | | check scratchpad variable abc9.scriptfileN. Engelhardt2019-12-171-0/+2
| | | | | |
| * | | | | check scratchpad variables for custom abc scriptsN. Engelhardt2019-12-132-0/+4
| | | | | |
| | | | | * Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-0619-40/+69
| | | | | |\ | |_|_|_|_|/ |/| | | | |
* | | | | | Merge pull request #1611 from YosysHQ/mmicko/wrapcarry_fixMiodrag Milanović2020-01-051-0/+2
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | Valid to have attribute starting with SB_CARRY.
| * | | | | Valid to have attribute starting with SB_CARRY.Miodrag Milanovic2020-01-041-0/+2
|/ / / / /
* | | | | Merge pull request #1604 from whitequark/unify-ram-namingwhitequark2020-01-0218-40/+67
|\ \ \ \ \ | |_|_|/ / |/| | | | Harmonize BRAM/LUTRAM descriptions across all of Yosys
| * | | | Harmonize BRAM/LUTRAM descriptions across all of Yosys.whitequark2020-01-0118-40/+67
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit: * renames all remaining instances of "DRAM" (which is ambiguous) to "LUTRAM" (which is not), finishing the work started in the commit 698ab9be; * renames memory rule files to brams.txt/lutrams.txt; * adds/renames script labels map_bram/map_lutram; * extracts where necessary script labels map_ffram and map_gates; * adds where necessary options -nobram/-nolutram. The end result is that BRAM/LUTRAM/FFRAM aspects of every target are now consistent with each other. Per architecture: * anlogic: rename drams.txt→lutrams.txt, add -nolutram, add :map_lutram, :map_ffram, :map_gates * ecp5: rename bram.txt→brams.txt, lutram.txt→lutrams.txt * efinix: rename bram.txt→brams.txt, add -nobram, add :map_ffram, :map_gates * gowin: rename bram.txt→brams.txt, dram.txt→lutrams.txt, rename -nodram→-nolutram (-nodram still recognized), rename :bram→:map_bram, :dram→:map_lutram, add :map_ffram, :map_gates
| | | | * Reword (* abc9_flop *) descriptionEddie Hung2020-01-061-2/+3
| | | | |
| | | | * Restore write_xaiger's holes_mode since port_id order causes QoREddie Hung2020-01-031-27/+19
| | | | | | | | | | | | | | | | | | | | regressions inside abc9
| | | | * CleanupEddie Hung2020-01-021-2/+1
| | | | |
| | | | * Fix spacingEddie Hung2020-01-021-1/+1
| | | | |
| | | | * write_xaiger: get rid of external_bits dictEddie Hung2020-01-021-1/+1
| | | | |
| | | | * Combine tests to check multiple clock domainsEddie Hung2020-01-021-33/+10
| | | | |
| | | | * synth_xilinx -dff to work with abc tooEddie Hung2020-01-021-6/+14
| | | | |
| | | | * Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2020-01-0227-92/+160
| | | | |\ | |_|_|_|/ |/| | | |
* | | | | Merge pull request #1609 from YosysHQ/clifford/fix1596Clifford Wolf2020-01-021-4/+25
|\ \ \ \ \ | | | | | | | | | | | | Always create $shl, $shr, $sshl, $sshr cells with unsigned B inputs
| * | | | | Always create $shl, $shr, $sshl, $sshr cells with unsigned B inputsClifford Wolf2020-01-021-4/+25
| | |_|/ / | |/| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | Merge pull request #1601 from YosysHQ/eddie/synth_retimeEddie Hung2020-01-0213-48/+52
|\ \ \ \ \ | | | | | | | | | | | | "abc -dff" to no longer retime by default
| * | | | | Update doc that "-retime" calls abc with "-dff -D 1"Eddie Hung2019-12-3011-12/+12
| | | | | |
| * | | | | Disable synth_gowin -abc9 as it offers no advantages yetEddie Hung2019-12-301-12/+12
| | | | | |
| * | | | | Revert "Revert "synth_* with -retime option now calls abc with -D 1 as well""Eddie Hung2019-12-3011-13/+13
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 6008bb7002f874e5c748eaa2050e7b6c17b32745.
| * | | | | Revert "ABC to call retime all the time"Eddie Hung2019-12-301-11/+15
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 9aa94370a54c016421740d2ce32ef0aa338d0dbd.
* | | | | | Merge pull request #1608 from YosysHQ/eddie/ifndef_YOSYSEddie Hung2020-01-021-6/+6
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | ifdef __ICARUS__ -> ifndef YOSYS
| * | | | | ifdef __ICARUS__ -> ifndef YOSYSEddie Hung2020-01-011-6/+6
|/ / / / /