aboutsummaryrefslogtreecommitdiffstats
path: root/data
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-04-23 15:56:18 +0100
committerYann Herklotz <git@ymhg.org>2019-04-23 15:56:18 +0100
commit89b5fe26bb727be58e1ba101ffc2c5413ae8cb84 (patch)
tree2106adefb1e0973a25d9d1ffe58447b959f99780 /data
parentd13375f31f4c298a379ac3c17e7f81ea12e4312c (diff)
downloadverismith-89b5fe26bb727be58e1ba101ffc2c5413ae8cb84.tar.gz
verismith-89b5fe26bb727be58e1ba101ffc2c5413ae8cb84.zip
Fix cells_xilinx_7.v LD and FD modules
Diffstat (limited to 'data')
-rw-r--r--data/cells_xilinx_7.v17
1 files changed, 0 insertions, 17 deletions
diff --git a/data/cells_xilinx_7.v b/data/cells_xilinx_7.v
index cfd7578..560091d 100644
--- a/data/cells_xilinx_7.v
+++ b/data/cells_xilinx_7.v
@@ -214,12 +214,9 @@ endmodule
module LD (Q, D, G);
parameter INIT = 1'b0;
-
output Q;
wire Q;
-
input D, G;
-
reg q_out;
initial q_out = INIT;
@@ -230,25 +227,15 @@ module LD (Q, D, G);
if (G)
q_out <= D;
- specify
- if (G)
- (D +=> Q) = (100, 100);
- (posedge G => (Q +: D)) = (100, 100);
- endspecify
-
endmodule
module FD (Q, C, D);
-
parameter INIT = 1'b0;
-
output Q;
-
input C, D;
wire Q;
reg q_out;
- tri0 GSR = glbl.GSR;
initial q_out = INIT;
@@ -257,8 +244,4 @@ module FD (Q, C, D);
assign Q = q_out;
- specify
- (posedge C => (Q +: D)) = (100, 100);
- endspecify
-
endmodule