diff options
Diffstat (limited to 'manual/APPNOTE_011_Design_Investigation.tex')
-rw-r--r-- | manual/APPNOTE_011_Design_Investigation.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/APPNOTE_011_Design_Investigation.tex b/manual/APPNOTE_011_Design_Investigation.tex index 9a8f604b..c0481186 100644 --- a/manual/APPNOTE_011_Design_Investigation.tex +++ b/manual/APPNOTE_011_Design_Investigation.tex @@ -71,8 +71,8 @@ commands for evaluating circuits and solving SAT problems. \section{Installation and Prerequisites} -This Application Note is based on the Yosys \cite{yosys} GIT Rev. {\tt \FIXME} from -\FIXME{}. The {\tt README} file covers how to install Yosys. The +This Application Note is based on the Yosys \cite{yosys} GIT Rev. {\tt 2b90ba1} from +2013-12-08. The {\tt README} file covers how to install Yosys. The {\tt show} command requires a working installation of GraphViz \cite{graphviz} for generating the actual circuit diagrams. Yosys must be build with Qt support for the built-in SVG viewer. Alternatively an external viewer can be |