mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-11 21:50:54 +00:00
Code Activity

Finished AppNote 011

Browse source
This commit is contained in:
Clifford Wolf 2013-12-08 15:12:32 +01:00
parent 0bd08688b8
commit 6069715c9e
22 changed files with 619 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

4
manual/APPNOTE_011_Design_Investigation.tex
View file

@ -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