Use "multiclock on" option in dpmem.sby example

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/docs/examples/multiclk/dpmem.sby b/docs/examples/multiclk/dpmem.sby
index 574e79eeb98bc4f2d27f5822b5561f28ee8e0f52..bd63e046e6b110215f31328efcd793b888613478 100644 (file)
--- a/docs/examples/multiclk/dpmem.sby
+++ b/docs/examples/multiclk/dpmem.sby
@@ -1,6 +1,7 @@
 [options]
 mode bmc
 depth 15
+multiclock on
 
 [engines]
 smtbmc
@@ -9,8 +10,6 @@ smtbmc
 read_verilog -sv -formal dpmem.sv
 prep -nordff -top top
 chformal -early -assume
-clk2fflogic
-opt_clean
 
 [files]
 dpmem.sv