aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/synth_xilinx.cc
Commit message (Collapse)AuthorAgeFilesLines
...
* | | 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.
| | * Add a xilinx_finalise passEddie Hung2019-09-231-0/+2
| | |
| | * Re-add DSP_A_MINWIDTH, remove unnec. opt_expr -fine from synth_ice40Eddie Hung2019-09-201-1/+1
| | |
| | * Merge remote-tracking branch 'origin/clifford/fix1381' into xc7dspEddie Hung2019-09-191-1/+3
| | |\
| | * | synth_xilinx to infer DSPs for Y_WIDTH >= 9 and [AB]_WIDTH >= 2Eddie Hung2019-09-191-1/+4
| | | |
| | * | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-181-6/+15
| | |\ \
| | * | | Missing spaceEddie Hung2019-09-111-0/+1
| | | | |
| | * | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-111-10/+13
| | |\ \ \
| | * | | | Move "(skip if -nodsp)" message to labelEddie Hung2019-09-101-4/+4
| | | | | |
| | * | | | Really get rid of 'opt_expr -fine' by being explicitEddie Hung2019-09-101-3/+0
| | | | | |
| | * | | | Remove wreduce callEddie Hung2019-09-101-1/+0
| | | | | |
| | * | | | Add comment for why opt_expr is necessaryEddie Hung2019-09-101-0/+2
| | | | | |
| | * | | | Revert "Remove "opt_expr -fine" call"Eddie Hung2019-09-101-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit bfda921d0317bfb4cb6fc9de8a556c2258b709bc.
| | * | | | Rename label to map_dspEddie Hung2019-09-101-1/+1
| | | | | |