diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/APPNOTE_012_Verilog_to_BTOR.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/APPNOTE_012_Verilog_to_BTOR.tex b/manual/APPNOTE_012_Verilog_to_BTOR.tex index 5d000fb4c..5a7c5b19c 100644 --- a/manual/APPNOTE_012_Verilog_to_BTOR.tex +++ b/manual/APPNOTE_012_Verilog_to_BTOR.tex @@ -189,8 +189,8 @@ unsat \caption{Running boolector on BTOR file} \end{figure} -We can also use nuXmv~\cite{nuxmv}, but on BTOR designs it does -support memories. With the next release of nuXmv, we will be also +We can also use nuXmv~\cite{nuxmv}, but on BTOR designs it does not +support memories yet. With the next release of nuXmv, we will be also able to verify designs with memories. \section{Detailed Flow} |