aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/synth_xilinx.cc
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | Revert "Revert "synth_* with -retime option now calls abc with -D 1 as well""Eddie Hung2019-12-301-2/+2
| | | | | | | | | | | | | | | | This reverts commit 6008bb7002f874e5c748eaa2050e7b6c17b32745.
* | | | abc9 -keepff -> -dff; refactor dff operationsEddie Hung2020-01-021-3/+3
| | | |
* | | | Restore abc9 -keepffEddie Hung2020-01-011-1/+3
| | | |
* | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-301-12/+10
|\| | |
| * | | Merge remote-tracking branch 'origin/master' into iopad_defaultMiodrag Milanovic2019-12-281-1/+4
| |\| |
| | * | xilinx_dsp: Initial DSP48A/DSP48A1 support.Marcin Kościelnicki2019-12-221-1/+4
| | | |
| * | | Addressed review commentsMiodrag Milanovic2019-12-211-2/+3
| | | |
| * | | iopad no op for compatibility with old scriptsMiodrag Milanovic2019-12-211-0/+3
| | | |
| * | | Make iopad option default for all xilinx flowsMiodrag Milanovic2019-12-211-14/+5
| |/ /
| * | Revert "Optimise write_xaiger"Eddie Hung2019-12-201-5/+0
| | |
| * | Merge pull request #1558 from YosysHQ/eddie/xaiger_cleanupEddie Hung2019-12-191-0/+5
| |\ \ | | | | | | | | Optimise write_xaiger
| | * | techmap/aigmap of whiteboxes to occur before abc9 instead of in write_xaigerEddie Hung2019-12-061-0/+5
| | |/
* | | Add "synth_xilinx -dff" option, cleanup abc9Eddie Hung2019-12-301-2/+14
| | |
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-191-4/+12
|\| |
| * | xilinx: Add xilinx_dffopt pass (#1557)Marcin Kościelnicki2019-12-181-0/+1
| | |
| * | xilinx: Improve flip-flop handling.Marcin Kościelnicki2019-12-181-4/+11
| |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This adds support for infering more kinds of flip-flops: - FFs with async set/reset and clock enable - FFs with sync set/reset - FFs with sync set/reset and clock enable Some passes have been moved (and some added) in order for dff2dffs to work correctly. This gives us complete coverage of Virtex 6+ and Spartan 6 flip-flop capabilities (though not latch capabilities). Older FPGAs also support having both a set and a reset input, which will be handled at a later data.
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-061-9/+8
|\|
| * xilinx: Add tristate buffer mapping. (#1528)Marcin Kościelnicki2019-12-041-9/+8
| | | | | | Fixes #1225.
* | Remove clkpartEddie Hung2019-12-051-4/+0
| |
* | techmap abc_unmap.v before xilinx_srl -fixedEddie Hung2019-12-031-6/+5
| |
* | clkpart -unpart into 'finalize'Eddie Hung2019-11-281-3/+4
| |
* | ean call after abc{,9}Eddie Hung2019-11-271-1/+2
| |
* | Move 'clean' from map_luts to finalizeEddie Hung2019-11-261-1/+1
| |
* | For abc9, run clkpart before ff_map and after abc9Eddie Hung2019-11-231-0/+2
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-11-191-30/+76
|\|
| * synth_xilinx: Merge blackbox primitive libraries.Marcin Kościelnicki2019-11-061-22/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | First, there are no longer separate cell libraries for xc6s/xc7/xcu. Manually instantiating a primitive for a "wrong" family will result in yosys passing it straight through to the output, and it will be either upgraded or rejected by the P&R tool. Second, the blackbox library is expanded to cover many more families: everything from Spartan 3 up is included. Primitives for Virtex and Virtex 2 are listed in the Python file as well if we ever want to include them, but that would require having two different ISE versions (10.1 and 14.7) available when running cells_xtra.py, and so is probably more trouble than it's worth. Third, the blockram blackboxes are no longer in separate files — there is no practical reason to do so (from synthesis PoV, they are no different from any other cells_xtra blackbox), and they needlessly complicated the flow (among other things, merging them allows the user to use eg. Series 7 primitives and have them auto-upgraded to Ultrascale). Last, since xc5v logic synthesis appears to work reasonably well (the only major problem is lack of blockram inference support), xc5v is now an accepted setting for the -family option.
| * xilinx: Add URAM288 mapping for xcupDavid Shah2019-10-231-1/+23
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * xilinx: Add support for UltraScale[+] BRAM mappingDavid Shah2019-10-231-1/+6
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * xilinx: Support multiplier mapping for all families.Marcin Kościelnicki2019-10-221-8/+45
| | | | | | | | | | This supports several older families that are not yet supported for actual logic synthesis — the intention is to add them soon.
| * Call memory_dff before DSP mapping to reserve registers (fixes #1447)N. Engelhardt2019-10-171-0/+1
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-081-5/+9
|\|
| * Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9Eddie Hung2019-10-081-7/+8
| |\ | | | | | | Rename abc_* names/attributes to more precisely be abc9_*
| | * Merge branch 'master' into eddie/abc_to_abc9Eddie Hung2019-10-041-3/+7
| | |\
| * | | Add comment on why partial multipliers are 18x18Eddie Hung2019-10-041-4/+8
| | | |
| * | | Fix typo in check_label()Eddie Hung2019-10-041-1/+1
| | |/ | |/|
* | | Remove -D_ABC9Eddie Hung2019-10-071-2/+0
| | |
* | | abc -> abc9Eddie Hung2019-10-041-3/+3
| | |
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-041-3/+7
|\| |
| * | Add temporary `abc9 -nomfs` and use for `synth_xilinx -abc9`Eddie Hung2019-10-041-2/+6
| | |
* | | Use read_args for read_verilogEddie Hung2019-10-041-3/+6
| | |
* | | Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-041-6/+7
|\ \ \ | | |/ | |/|
| * | Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-6/+7
| |/
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-291-4/+32
|\|
| * Merge pull request #1359 from YosysHQ/xc7dspEddie Hung2019-09-291-4/+32
| |\ | | | | | | DSP inference for Xilinx (improved for ice40, initial support for ecp5)
| | * Re-orderEddie Hung2019-09-271-1/+1
| | |
| | * TypoEddie Hung2019-09-261-1/+1
| | |
| | * select onceEddie Hung2019-09-261-3/+5
| | |
| | * Stop trying to be too smart by prematurely optimisingEddie Hung2019-09-261-1/+3
| | |
| | * Call 'wreduce' after mul2dsp to avoid unextend()Eddie Hung2019-09-251-0/+1
| | |
| | * Revert "Add a xilinx_finalise pass"Eddie Hung2019-09-231-2/+0
| | | | | | | | | | | | This reverts commit 23d90e0439ffef510632ce45a3d2aff1c129f405.