diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-23 15:56:18 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-23 15:56:18 +0100 |
commit | 89b5fe26bb727be58e1ba101ffc2c5413ae8cb84 (patch) | |
tree | 2106adefb1e0973a25d9d1ffe58447b959f99780 /data | |
parent | d13375f31f4c298a379ac3c17e7f81ea12e4312c (diff) | |
download | verismith-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.v | 17 |
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 |