From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 12 May 2018 15:21:00 +0000 (+0200)
Subject: Use "multiclock on" option in dpmem.sby example
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=983f0664453b61d3c2084c98788eea341a315bfc;p=SymbiYosys.git

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 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