diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-04-04 15:13:35 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-04-04 15:13:35 +0200 |
| commit | 0737bf5fb8d82427bc463582ce9e84c4109a7829 (patch) | |
| tree | 04eab305fbcb315ba13cbff1debba2dd285c8884 /manual | |
| parent | 1d5d1f79f9dc21906f057dc4601904ba01559359 (diff) | |
appnote 012 fix
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 5d000fb4..5a7c5b19 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} |