proc instead of prep
authorEddie Hung <eddie@fpgeh.com>
Wed, 11 Sep 2019 07:14:06 +0000 (00:14 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 11 Sep 2019 07:14:06 +0000 (00:14 -0700)
tests/various/peepopt.ys

index e930015a4c96538e5f5c295ee9c4953494c44c1d..2a660d5c994cbf920e49817c679f0dd044b5d3de 100644 (file)
@@ -54,7 +54,7 @@ module peepopt_dffmuxext_unsigned(input clk, ce, input [1:0] i, output reg [3:0]
 endmodule
 EOT
 
-prep -nokeepdc
+proc
 equiv_opt -assert peepopt
 design -load postopt
 clean
@@ -71,7 +71,7 @@ module peepopt_dffmuxext_signed(input clk, ce, input signed [1:0] i, output reg
 endmodule
 EOT
 
-prep -nokeepdc
+proc
 equiv_opt -assert peepopt
 design -load postopt
 clean