aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | | Renaming BRAM memory tests for the sake of uniformityDiego H2019-12-132-6/+6
| | * | | | | | Fixing citation in xc7_xcu_brams.txt file. Fixing RAMB36E1 test.Diego H2019-12-122-7/+7
| | * | | | | | Adding a note (TODO) in the memory_params.ys check fileDiego H2019-12-121-0/+2
| | * | | | | | Updating RAMB36E1 thresholds. Adding test for both RAMB18E1/RAMB36E1Diego H2019-12-123-2/+92
| | * | | | | | Merge https://github.com/YosysHQ/yosys into bram_xilinxDiego H2019-12-1243-1053/+2108
| | |\ \ \ \ \ \ | | | | |/ / / / | | | |/| | | |
| | * | | | | | Adjusting Vivado's BRAM min bits threshold for RAMB18E1Diego H2019-11-271-2/+5
* | | | | | | | Bump ABC againEddie Hung2019-12-181-1/+1
* | | | | | | | Remove &verify -sEddie Hung2019-12-171-1/+1
* | | | | | | | Bump ABC for upstream fixEddie Hung2019-12-171-1/+1
* | | | | | | | Use pool<> instead of std::set<> to preserver orderingEddie Hung2019-12-171-6/+6
* | | | | | | | aiger frontend to user shorter, $-prefixed, namesEddie Hung2019-12-171-14/+14
* | | | | | | | Cleanup xaiger, remove unnecessary complexity with inoutEddie Hung2019-12-172-84/+24
* | | | | | | | read_xaiger to cope with optional '\n' after 'c'Eddie Hung2019-12-171-2/+2
* | | | | | | | Do not sigmapEddie Hung2019-12-171-1/+1
* | | | | | | | Revert "Use sigmap signal"Eddie Hung2019-12-171-1/+1
* | | | | | | | abc9 needs a clean afterwardsEddie Hung2019-12-161-2/+4
* | | | | | | | Put $__ABC9_{FF_,ASYNC} into same clock domain as abc9_flopEddie Hung2019-12-161-5/+27
* | | | | | | | Use sigmap signalEddie Hung2019-12-161-1/+1
* | | | | | | | Skip $inout transformation if not a PIEddie Hung2019-12-161-3/+5
* | | | | | | | Revert "write_xaiger: use sigmap bits more consistently"Eddie Hung2019-12-161-4/+5
* | | | | | | | write_xaiger: use sigmap bits more consistentlyEddie Hung2019-12-161-5/+4
* | | | | | | | Name inputs/outputs of aiger 'i%d' and 'o%d'Eddie Hung2019-12-131-13/+6
* | | | | | | | Remove 'clkpart' entry in CHANGELOGEddie Hung2019-12-121-1/+0
* | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-1218-64/+238
|\| | | | | | |
| * | | | | | | abc9_map.v: fix Xilinx LUTRAMEddie Hung2019-12-121-6/+6
| | |/ / / / / | |/| | | | |
| * | | | | | Update README.md :: abc_ -> abc9_Eddie Hung2019-12-111-3/+3
| | |_|_|/ / | |/| | | |
| * | | | | Fix bitwidth mismatch; suppresses iverilog warningEddie Hung2019-12-111-4/+4
| * | | | | Merge pull request #1564 from ZirconiumX/intel_housekeepingDavid Shah2019-12-118-6/+6
| |\ \ \ \ \
| | * | | | | synth_intel: a10gx -> arria10gxDan Ravensloft2019-12-105-4/+4
| | * | | | | synth_intel: cyclone10 -> cyclone10lpDan Ravensloft2019-12-105-4/+4
| * | | | | | Merge pull request #1545 from YosysHQ/eddie/ice40_wrapcarry_attrEddie Hung2019-12-098-51/+225
| |\ \ \ \ \ \ | | |_|_|_|/ / | |/| | | | |
| | * | | | | ice40_opt to restore attributes/name when unwrappingEddie Hung2019-12-091-0/+15
| | * | | | | ice40_wrapcarry -unwrap to preserve 'src' attributeEddie Hung2019-12-091-1/+9
| | * | | | | unmap $__ICE40_CARRY_WRAPPER in testEddie Hung2019-12-091-1/+21
| | * | | | | -unwrap to create $lut not SB_LUT4 for opt_lutEddie Hung2019-12-091-7/+5
| | * | | | | Sensitive to direct inst of $__ICE40_CARRY_WRAPPER; recreate SB_LUT4Eddie Hung2019-12-092-8/+12
| | * | | | | ice40_wrapcarry to really preserve attributes via -unwrap optionEddie Hung2019-12-094-39/+61
| | * | | | | Drop keep=0 attributes on SB_CARRYEddie Hung2019-12-062-2/+10
| | * | | | | Merge SB_CARRY+SB_LUT4's attributes when creating $__ICE40_CARRY_WRAPPEREddie Hung2019-12-051-0/+1
| | * | | | | Add WIP test for unwrapping $__ICE40_CARRY_WRAPPEREddie Hung2019-12-051-0/+30
| | * | | | | Check SB_CARRY name also preservedEddie Hung2019-12-031-0/+1
| | * | | | | $__ICE40_CARRY_WRAPPER to use _TECHMAP_REPLACE_ for SB_CARRY to preserveEddie Hung2019-12-031-1/+1
| | * | | | | ice40_opt to ignore (* keep *) -ed cellsEddie Hung2019-12-031-0/+5
| | * | | | | ice40_wrapcarry to preserve SB_CARRY's attributesEddie Hung2019-12-031-0/+2
| | * | | | | Add testcaseEddie Hung2019-12-031-0/+60
* | | | | | | abc9_map.v: fix Xilinx LUTRAMEddie Hung2019-12-121-6/+6
* | | | | | | Fix commentEddie Hung2019-12-091-1/+1
* | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-0619-971/+1773
|\| | | | | |
| * | | | | | Merge pull request #1555 from antmicro/fix-macc-xilinx-testEddie Hung2019-12-061-1/+1
| |\ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| | * | | | | tests: arch: xilinx: Change order of arguments in macc.shJan Kowalewski2019-12-061-1/+1
| |/ / / / /