From eb67a7532bf1d8195216257a2d6d301c03980591 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 23 Feb 2018 13:14:47 +0100 Subject: Add $allconst and $allseq cell types Signed-off-by: Clifford Wolf --- examples/smtbmc/demo2.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/smtbmc') diff --git a/examples/smtbmc/demo2.v b/examples/smtbmc/demo2.v index 34745e898..0cf529a42 100644 --- a/examples/smtbmc/demo2.v +++ b/examples/smtbmc/demo2.v @@ -9,7 +9,7 @@ module demo2(input clk, input [4:0] addr, output reg [31:0] data); reg [31:0] mem [0:31]; - always @(posedge clk) + always @(negedge clk) data <= mem[addr]; reg [31:0] used_addr = 0; -- cgit v1.2.3