aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-12-20 14:07:23 -0800
committerEddie Hung <eddie@fpgeh.com>2019-12-20 14:07:23 -0800
commitd3fc94405f14a96a91463f618908c5a51a491507 (patch)
tree858bef2b4b06c164e11fa4eaffec8f19159f540d /techlibs/xilinx
parent1ea1e8e54f33e4a048c1343959e20e8f1c8ad73b (diff)
parent5986a4df40a9c19171624c772b39e4c003e9c6ff (diff)
downloadyosys-d3fc94405f14a96a91463f618908c5a51a491507.tar.gz
yosys-d3fc94405f14a96a91463f618908c5a51a491507.tar.bz2
yosys-d3fc94405f14a96a91463f618908c5a51a491507.zip
Merge remote-tracking branch 'origin/master' into xaig_dff
Diffstat (limited to 'techlibs/xilinx')
-rw-r--r--techlibs/xilinx/cells_sim.v34
1 files changed, 10 insertions, 24 deletions
diff --git a/techlibs/xilinx/cells_sim.v b/techlibs/xilinx/cells_sim.v
index 5d589bd2f..78ae23e1b 100644
--- a/techlibs/xilinx/cells_sim.v
+++ b/techlibs/xilinx/cells_sim.v
@@ -1252,18 +1252,11 @@ endmodule
// Multi port.
module RAM32M (
- output [1:0] DOA,
- output [1:0] DOB,
- output [1:0] DOC,
- output [1:0] DOD,
- input [4:0] ADDRA,
- input [4:0] ADDRB,
- input [4:0] ADDRC,
- input [4:0] ADDRD,
- input [1:0] DIA,
- input [1:0] DIB,
- input [1:0] DIC,
- input [1:0] DID,
+ // Max delay from: https://github.com/SymbiFlow/prjxray-db/blob/34ea6eb08a63d21ec16264ad37a0a7b142ff6031/artix7/timings/CLBLM_R.sdf#L957
+ (* abc9_arrival=1153 *)
+ output [1:0] DOA, DOB, DOC, DOD,
+ input [4:0] ADDRA, ADDRB, ADDRC, ADDRD,
+ input [1:0] DIA, DIB, DIC, DID,
(* clkbuf_sink *)
(* invertible_pin = "IS_WCLK_INVERTED" *)
input WCLK,
@@ -1362,18 +1355,11 @@ module RAM32M16 (
endmodule
module RAM64M (
- output DOA,
- output DOB,
- output DOC,
- output DOD,
- input [5:0] ADDRA,
- input [5:0] ADDRB,
- input [5:0] ADDRC,
- input [5:0] ADDRD,
- input DIA,
- input DIB,
- input DIC,
- input DID,
+ // Max delay from: https://github.com/SymbiFlow/prjxray-db/blob/34ea6eb08a63d21ec16264ad37a0a7b142ff6031/artix7/timings/CLBLM_R.sdf#L957
+ (* abc9_arrival=1153 *)
+ output DOA, DOB, DOC, DOD,
+ input [5:0] ADDRA, ADDRB, ADDRC, ADDRD,
+ input DIA, DIB, DIC, DID,
(* clkbuf_sink *)
(* invertible_pin = "IS_WCLK_INVERTED" *)
input WCLK,