From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 22 Mar 2015 08:49:46 +0000 (+0100)
Subject: Added blif reference to appnote 010
X-Git-Tag: yosys-0.6~372
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=611cd010ae96b2b8eb394e051584861044977421;p=yosys.git

Added blif reference to appnote 010
---

diff --git a/manual/APPNOTE_010_Verilog_to_BLIF.tex b/manual/APPNOTE_010_Verilog_to_BLIF.tex
index 9ee87bc44..0f521fb0a 100644
--- a/manual/APPNOTE_010_Verilog_to_BLIF.tex
+++ b/manual/APPNOTE_010_Verilog_to_BLIF.tex
@@ -61,7 +61,7 @@ to easily create complex designs from small HDL code. It is the preferred
 method of design entry for many designers\footnote{The other half prefers VHDL,
 a very different but -- of course -- equally powerful language.}.
 
-The Berkeley Logic Interchange Format (BLIF) is a simple file format for
+The Berkeley Logic Interchange Format (BLIF) \cite{blif} is a simple file format for
 exchanging sequential logic between programs. It is easy to generate and
 easy to parse and is therefore the preferred method of design entry for
 many authors of logic synthesis tools.
@@ -456,6 +456,10 @@ Conor Santifort. Amber ARM-compatible core. \\
 Berkeley Logic Synthesis and Verification Group. ABC: A System for Sequential Synthesis and Verification. \\
 \url{http://www.eecs.berkeley.edu/~alanmi/abc/}
 
+\bibitem{blif}
+Berkeley Logic Interchange Format (BLIF) \\
+\url{http://vlsi.colorado.edu/~vis/blif.ps}
+
 \end{thebibliography}