aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
| |/ /
| * | Merge pull request #1606 from YosysHQ/eddie/improve_testsEddie Hung2020-01-0110-19/+20
| |\ \ | | | | | | | | Fix a few issues in tests/arch/*
| | * | Revert insertion of 'reg', leave note behindEddie Hung2020-01-011-1/+2
| | | |
| | * | Fix anlogic async flop mappingEddie Hung2020-01-011-8/+8
| | | |
| | * | Do not do call equiv_opt when no sim model existsEddie Hung2019-12-312-4/+4
| | | |
| | * | Fix warningsEddie Hung2019-12-312-2/+2
| | | |
| | * | Call equiv_opt with -multiclock and -assertEddie Hung2019-12-315-5/+5
| | | |
| * | | Merge pull request #1605 from YosysHQ/iopad_fixMiodrag Milanović2020-01-012-0/+22
| |\ \ \ | | |/ / | |/| | iopad mapping should take care of existing io buffers
| | * | Added a test caseMiodrag Milanovic2020-01-011-0/+19
| | | |
| | * | take skip wire bits into accountMiodrag Milanovic2020-01-011-0/+3
| |/ /
| * | GrammarEddie Hung2019-12-301-1/+1
| | |
| * | Update timings for Xilinx S7 cellsEddie Hung2019-12-301-15/+35
| | |
* | | 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
| | |