aboutsummaryrefslogtreecommitdiffstats
path: root/manual/command-reference-manual.tex
diff options
context:
space:
mode:
Diffstat (limited to 'manual/command-reference-manual.tex')
-rw-r--r--manual/command-reference-manual.tex19
1 files changed, 6 insertions, 13 deletions
diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex
index bb9d7238c..bed6326e2 100644
--- a/manual/command-reference-manual.tex
+++ b/manual/command-reference-manual.tex
@@ -4244,15 +4244,9 @@ compatible with 7-Series Xilinx devices.
is omitted if this parameter is not specified.
-vpr
- generate an output netlist (and BLIF file) suitable for VPR.
+ generate an output netlist (and BLIF file) suitable for VPR
(this feature is experimental and incomplete)
- -nobrams
- disable infering of block rams
-
- -nodrams
- disable infering of distributed rams
-
-run <from_label>:<to_label>
only run the commands between the labels (see below). an empty
from label is synonymous to 'begin', and empty to label is
@@ -4280,11 +4274,11 @@ The following commands are executed by this synthesis command:
coarse:
synth -run coarse
- bram: (only executed when '-nobrams' is not given)
+ bram:
memory_bram -rules +/xilinx/brams.txt
techmap -map +/xilinx/brams_map.v
- dram: (only executed when '-nodrams' is not given)
+ dram:
memory_bram -rules +/xilinx/drams.txt
techmap -map +/xilinx/drams_map.v
@@ -4294,17 +4288,16 @@ The following commands are executed by this synthesis command:
dffsr2dff
dff2dffe
opt -full
- techmap -map +/techmap.v -map +/xilinx/arith_map.v -map +/xilinx/ff_map.v
+ techmap -map +/techmap.v -map +/xilinx/arith_map.v
opt -fast
map_luts:
- abc -luts 2:2,3,6:5,10,20 [-dff] (without '-vpr' only!)
- abc -lut 5 [-dff] (with '-vpr' only!)
+ abc -luts 2:2,3,6:5,10,20 [-dff]
clean
map_cells:
techmap -map +/xilinx/cells_map.v (with -D NO_LUT in vpr mode)
- dffinit -ff FDRE Q INIT -ff FDCE Q INIT -ff FDPE Q INIT -ff FDSE Q INIT
+ dffinit -ff FDRE Q INIT -ff FDCE Q INIT -ff FDPE Q INIT
clean
check: