diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-12-08 15:12:32 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-12-08 15:12:32 +0100 |
commit | 6069715c9ee9710cf14945311cca222e27482610 (patch) | |
tree | 9f28cb6380ed513d9ea4862b467bf947922fcb42 /manual/APPNOTE_011_Design_Investigation.tex | |
parent | 0bd08688b8403cd36494823789db3eacc6d4e1b7 (diff) |
Finished AppNote 011
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 |