diff --git a/docs/examples/multiclk/dpmem.sby b/docs/examples/multiclk/dpmem.sby
index 574e79e..bd63e04 100644
--- 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