diff options
Diffstat (limited to 'src/VeriFuzz/Simulator/Internal/Template.hs')
| -rw-r--r-- | src/VeriFuzz/Simulator/Internal/Template.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/VeriFuzz/Simulator/Internal/Template.hs b/src/VeriFuzz/Simulator/Internal/Template.hs index 4b9cc4e..109c679 100644 --- a/src/VeriFuzz/Simulator/Internal/Template.hs +++ b/src/VeriFuzz/Simulator/Internal/Template.hs @@ -65,9 +65,9 @@ smtbmc [script] #{readL} -read syn_#{toText sim1}.v +read -formal syn_#{toText sim1}.v rename #{mi} #{mi}_1 -read syn_#{maybe "rtl" toText sim2}.v +read -formal syn_#{maybe "rtl" toText sim2}.v rename #{mi} #{mi}_2 read -formal top.v prep -top #{mi} @@ -87,4 +87,4 @@ top.v . ((bd </> fromText "data") </>) . fromText <$> deps - readL = T.intercalate "\n" $ mappend "read " <$> deps + readL = T.intercalate "\n" $ mappend "read -formal " <$> deps |