aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-0691-2459/+3416
|\ | | | | | | xaig_arrival_required
| * write_xaiger to pad, not abc9_ops -prep_holesEddie Hung2020-01-053-58/+20
| |
| * CleanupEddie Hung2020-01-041-30/+16
| |
| * Fix when -dff not givenEddie Hung2020-01-044-73/+59
| |
| * Call -prep_holes before aigmap; fix topo orderingEddie Hung2020-01-033-53/+18
| |
| * WIPEddie Hung2020-01-033-63/+7
| |
| * Preserve topo ordering from -prep_holes to write_xaigerEddie Hung2020-01-033-164/+79
| |
| * WIPEddie Hung2020-01-033-81/+48
| |
| * WIPEddie Hung2020-01-032-30/+148
| |
| * Remove a few log_{push,pop}()Eddie Hung2020-01-022-8/+0
| |
| * aigmap everythingEddie Hung2020-01-021-1/+1
| |
| * scc command to ignore blackboxesEddie Hung2020-01-021-3/+3
| |
| * Move scc operations out of inner loopEddie Hung2020-01-021-8/+4
| |
| * CleanupEddie Hung2020-01-021-2/+1
| |
| * Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-0222-1059/+981
| |\
| | * 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
| | |\
| | * | Add 'abc9 -dff' to CHANGELOGEddie Hung2020-01-021-0/+1
| | | |
| | * | Update docEddie Hung2020-01-021-4/+4
| | | |
| | * | Update commentsEddie Hung2020-01-021-11/+6
| | | |
| | * | abc9 -keepff -> -dff; refactor dff operationsEddie Hung2020-01-024-166/+135
| | | |
| | * | Clamp -46ps for FDPE* tooEddie Hung2020-01-011-2/+2
| | | |
| | * | Get rid of (* abc9_keep *) in write_xaiger tooEddie Hung2020-01-011-15/+18
| | | |
| | * | Cleanup abc9, update doc for -keepff optionEddie Hung2020-01-011-6/+5
| | | |
| | * | Restore abc9 -keepffEddie Hung2020-01-014-128/+46
| | | |
| | * | attributes.count() -> get_bool_attribute()Eddie Hung2020-01-012-3/+3
| | | |
| | * | Re-arrange FD orderEddie Hung2019-12-313-182/+182
| | | |
| | * | Missing characterEddie Hung2019-12-311-1/+1
| | | |
| | * | Cleanup xilinx boxesEddie Hung2019-12-312-391/+425
| | | |
| | * | Cleanup ice40 boxesEddie Hung2019-12-313-30/+43
| | | |
| | * | Cleanup ecp5 boxesEddie Hung2019-12-314-35/+31
| | | |
| | * | parse_xaiger to not take box_lookupEddie Hung2019-12-314-63/+37
| | | |
| | * | parse_xaiger to reorder ports tooEddie Hung2019-12-311-41/+26
| | | |
| | * | Add some abc9 dff testsEddie Hung2019-12-311-0/+55
| | | |
| | * | Do not re-order carry chain ports, just precompute iteration orderEddie Hung2019-12-312-44/+32
| | | |
| | * | Update abc9_xc7.box commentsEddie Hung2019-12-311-18/+18
| | | |
| | * | FDCE ports to be alphabeticalEddie Hung2019-12-311-3/+3
| | | |
| | * | Fix attributes on $__ABC9_ASYNC[01] whiteboxEddie Hung2019-12-311-2/+2
| | | |
| | * | Fix incorrect $__ABC9_ASYNC[01] boxEddie Hung2019-12-311-2/+2
| | | |
| | * | write_xaiger: be more precise with ff_bits, remove ff_aig_mapEddie Hung2019-12-311-21/+19
| | | |
| | * | Retry getting rid of write_xaiger's holes_modeEddie Hung2019-12-311-81/+41
| | | |
| | * | Revert "Get rid of holes_mode"Eddie Hung2019-12-301-35/+70
| | | | | | | | | | | | | | | | This reverts commit 7997e2a90fd37886241b7eb657408177ef7f6fa7.
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-0240-117/+192
| |\ \ \
| | * \ \ 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
| | * | | 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
| | | | | | |