/*
 * history.h:
 *
 * Copyright (c) 2008 James McKenzie <james@fishsoup.dhs.org>,
 * All rights reserved.
 *
 */

/*
 * $Id$
 */

/*
 * $Log$
 * Revision 1.5  2008/03/03 06:04:42  james
 * *** empty log message ***
 *
 * Revision 1.4  2008/03/02 10:37:56  james
 * *** empty log message ***
 *
 * Revision 1.3  2008/02/13 16:57:29  james
 * *** empty log message ***
 *
 * Revision 1.2  2008/02/12 22:36:46  james
 * *** empty log message ***
 *
 * Revision 1.1  2008/02/08 15:06:42  james
 * *** empty log message ***
 *
 */

#ifndef __HISTORY_H__
#define __HISTORY_H__

typedef struct
{
  int valid;
  time_t t;
  CRT_CA line[CRT_COLS];
} History_ent;

typedef struct
{
  History_ent *lines;
  int nlines;
  int wptr;
} History;

#define HISTORY_INC(h,a) do { (a)++; if ((a)==((h)->nlines)) { (a)=0; }; } while (0)

#endif /* __HISTORY_H__ */
fb7'/><select name='h' onchange='this.form.submit();'>
<option value='master' selected='selected'>master</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>[no description]</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/cgit/iCE40/yosys/about/'>about</a><a href='/cgit/iCE40/yosys/'>summary</a><a href='/cgit/iCE40/yosys/refs/?id=ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'>refs</a><a href='/cgit/iCE40/yosys/log/manual/manual.tex'>log</a><a class='active' href='/cgit/iCE40/yosys/tree/manual/manual.tex?id=ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'>tree</a><a href='/cgit/iCE40/yosys/commit/manual/manual.tex?id=ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'>commit</a><a href='/cgit/iCE40/yosys/diff/manual/manual.tex?id=ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'>diff</a><a href='/cgit/iCE40/yosys/stats/manual/manual.tex'>stats</a></td><td class='form'><form class='right' method='get' action='/cgit/iCE40/yosys/log/manual/manual.tex'>
<input type='hidden' name='id' value='ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/cgit/iCE40/yosys/tree/?id=ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'>root</a>/<a href='/cgit/iCE40/yosys/tree/manual?id=ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'>manual</a>/<a href='/cgit/iCE40/yosys/tree/manual/manual.tex?id=ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'>manual.tex</a></div><div class='content'>blob: d6ffd95a6a036bdb747fe51b590fd88b9f746c3d (<a href='/cgit/iCE40/yosys/plain/manual/manual.tex?id=ed4bcd52e5d7ab466a4bcd87ae787f1ab7c70fb7'>plain</a>)
<table summary='blob content' class='blob'>
<tr><td class='linenumbers'><pre><a id='n1' href='#n1'>1</a>
<a id='n2' href='#n2'>2</a>
<a id='n3' href='#n3'>3</a>
<a id='n4' href='#n4'>4</a>
<a id='n5' href='#n5'>5</a>
<a id='n6' href='#n6'>6</a>
<a id='n7' href='#n7'>7</a>
<a id='n8' href='#n8'>8</a>
<a id='n9' href='#n9'>9</a>
<a id='n10' href='#n10'>10</a>
<a id='n11' href='#n11'>11</a>
<a id='n12' href='#n12'>12</a>
<a id='n13' href='#n13'>13</a>
<a id='n14' href='#n14'>14</a>
<a id='n15' href='#n15'>15</a>
<a id='n16' href='#n16'>16</a>
<a id='n17' href='#n17'>17</a>
<a id='n18' href='#n18'>18</a>
<a id='n19' href='#n19'>19</a>
<a id='n20' href='#n20'>20</a>
<a id='n21' href='#n21'>21</a>
<a id='n22' href='#n22'>22</a>
<a id='n23' href='#n23'>23</a>
<a id='n24' href='#n24'>24</a>
<a id='n25' href='#n25'>25</a>
<a id='n26' href='#n26'>26</a>
<a id='n27' href='#n27'>27</a>
<a id='n28' href='#n28'>28</a>
<a id='n29' href='#n29'>29</a>
<a id='n30' href='#n30'>30</a>
<a id='n31' href='#n31'>31</a>
<a id='n32' href='#n32'>32</a>
<a id='n33' href='#n33'>33</a>
<a id='n34' href='#n34'>34</a>
<a id='n35' href='#n35'>35</a>
<a id='n36' href='#n36'>36</a>
<a id='n37' href='#n37'>37</a>
<a id='n38' href='#n38'>38</a>
<a id='n39' href='#n39'>39</a>
<a id='n40' href='#n40'>40</a>
<a id='n41' href='#n41'>41</a>
<a id='n42' href='#n42'>42</a>
<a id='n43' href='#n43'>43</a>
<a id='n44' href='#n44'>44</a>
<a id='n45' href='#n45'>45</a>
<a id='n46' href='#n46'>46</a>
<a id='n47' href='#n47'>47</a>
<a id='n48' href='#n48'>48</a>
<a id='n49' href='#n49'>49</a>
<a id='n50' href='#n50'>50</a>
<a id='n51' href='#n51'>51</a>
<a id='n52' href='#n52'>52</a>
<a id='n53' href='#n53'>53</a>
<a id='n54' href='#n54'>54</a>
<a id='n55' href='#n55'>55</a>
<a id='n56' href='#n56'>56</a>
<a id='n57' href='#n57'>57</a>
<a id='n58' href='#n58'>58</a>
<a id='n59' href='#n59'>59</a>
<a id='n60' href='#n60'>60</a>
<a id='n61' href='#n61'>61</a>
<a id='n62' href='#n62'>62</a>
<a id='n63' href='#n63'>63</a>
<a id='n64' href='#n64'>64</a>
<a id='n65' href='#n65'>65</a>
<a id='n66' href='#n66'>66</a>
<a id='n67' href='#n67'>67</a>
<a id='n68' href='#n68'>68</a>
<a id='n69' href='#n69'>69</a>
<a id='n70' href='#n70'>70</a>
<a id='n71' href='#n71'>71</a>
<a id='n72' href='#n72'>72</a>
<a id='n73' href='#n73'>73</a>
<a id='n74' href='#n74'>74</a>
<a id='n75' href='#n75'>75</a>
<a id='n76' href='#n76'>76</a>
<a id='n77' href='#n77'>77</a>
<a id='n78' href='#n78'>78</a>
<a id='n79' href='#n79'>79</a>
<a id='n80' href='#n80'>80</a>
<a id='n81' href='#n81'>81</a>
<a id='n82' href='#n82'>82</a>
<a id='n83' href='#n83'>83</a>
<a id='n84' href='#n84'>84</a>
<a id='n85' href='#n85'>85</a>
<a id='n86' href='#n86'>86</a>
<a id='n87' href='#n87'>87</a>
<a id='n88' href='#n88'>88</a>
<a id='n89' href='#n89'>89</a>
<a id='n90' href='#n90'>90</a>
<a id='n91' href='#n91'>91</a>
<a id='n92' href='#n92'>92</a>
<a id='n93' href='#n93'>93</a>
<a id='n94' href='#n94'>94</a>
<a id='n95' href='#n95'>95</a>
<a id='n96' href='#n96'>96</a>
<a id='n97' href='#n97'>97</a>
<a id='n98' href='#n98'>98</a>
<a id='n99' href='#n99'>99</a>
<a id='n100' href='#n100'>100</a>
<a id='n101' href='#n101'>101</a>
<a id='n102' href='#n102'>102</a>
<a id='n103' href='#n103'>103</a>
<a id='n104' href='#n104'>104</a>
<a id='n105' href='#n105'>105</a>
<a id='n106' href='#n106'>106</a>
<a id='n107' href='#n107'>107</a>
<a id='n108' href='#n108'>108</a>
<a id='n109' href='#n109'>109</a>
<a id='n110' href='#n110'>110</a>
<a id='n111' href='#n111'>111</a>
<a id='n112' href='#n112'>112</a>
<a id='n113' href='#n113'>113</a>
<a id='n114' href='#n114'>114</a>
<a id='n115' href='#n115'>115</a>
<a id='n116' href='#n116'>116</a>
<a id='n117' href='#n117'>117</a>
<a id='n118' href='#n118'>118</a>
<a id='n119' href='#n119'>119</a>
<a id='n120' href='#n120'>120</a>
<a id='n121' href='#n121'>121</a>
<a id='n122' href='#n122'>122</a>
<a id='n123' href='#n123'>123</a>
<a id='n124' href='#n124'>124</a>
<a id='n125' href='#n125'>125</a>
<a id='n126' href='#n126'>126</a>
<a id='n127' href='#n127'>127</a>
<a id='n128' href='#n128'>128</a>
<a id='n129' href='#n129'>129</a>
<a id='n130' href='#n130'>130</a>
<a id='n131' href='#n131'>131</a>
<a id='n132' href='#n132'>132</a>
<a id='n133' href='#n133'>133</a>
<a id='n134' href='#n134'>134</a>
<a id='n135' href='#n135'>135</a>
<a id='n136' href='#n136'>136</a>
<a id='n137' href='#n137'>137</a>
<a id='n138' href='#n138'>138</a>
<a id='n139' href='#n139'>139</a>
<a id='n140' href='#n140'>140</a>
<a id='n141' href='#n141'>141</a>
<a id='n142' href='#n142'>142</a>
<a id='n143' href='#n143'>143</a>
<a id='n144' href='#n144'>144</a>
<a id='n145' href='#n145'>145</a>
<a id='n146' href='#n146'>146</a>
<a id='n147' href='#n147'>147</a>
<a id='n148' href='#n148'>148</a>
<a id='n149' href='#n149'>149</a>
<a id='n150' href='#n150'>150</a>
<a id='n151' href='#n151'>151</a>
<a id='n152' href='#n152'>152</a>
<a id='n153' href='#n153'>153</a>
<a id='n154' href='#n154'>154</a>
<a id='n155' href='#n155'>155</a>
<a id='n156' href='#n156'>156</a>
<a id='n157' href='#n157'>157</a>
<a id='n158' href='#n158'>158</a>
<a id='n159' href='#n159'>159</a>
<a id='n160' href='#n160'>160</a>
<a id='n161' href='#n161'>161</a>
<a id='n162' href='#n162'>162</a>
<a id='n163' href='#n163'>163</a>
<a id='n164' href='#n164'>164</a>
<a id='n165' href='#n165'>165</a>
<a id='n166' href='#n166'>166</a>
<a id='n167' href='#n167'>167</a>
<a id='n168' href='#n168'>168</a>
<a id='n169' href='#n169'>169</a>
<a id='n170' href='#n170'>170</a>
<a id='n171' href='#n171'>171</a>
<a id='n172' href='#n172'>172</a>
<a id='n173' href='#n173'>173</a>
<a id='n174' href='#n174'>174</a>
<a id='n175' href='#n175'>175</a>
<a id='n176' href='#n176'>176</a>
<a id='n177' href='#n177'>177</a>
<a id='n178' href='#n178'>178</a>
<a id='n179' href='#n179'>179</a>
<a id='n180' href='#n180'>180</a>
<a id='n181' href='#n181'>181</a>
<a id='n182' href='#n182'>182</a>
<a id='n183' href='#n183'>183</a>
<a id='n184' href='#n184'>184</a>
<a id='n185' href='#n185'>185</a>
<a id='n186' href='#n186'>186</a>
<a id='n187' href='#n187'>187</a>
<a id='n188' href='#n188'>188</a>
<a id='n189' href='#n189'>189</a>
<a id='n190' href='#n190'>190</a>
<a id='n191' href='#n191'>191</a>
<a id='n192' href='#n192'>192</a>
<a id='n193' href='#n193'>193</a>
<a id='n194' href='#n194'>194</a>
<a id='n195' href='#n195'>195</a>
<a id='n196' href='#n196'>196</a>
<a id='n197' href='#n197'>197</a>
<a id='n198' href='#n198'>198</a>
<a id='n199' href='#n199'>199</a>
<a id='n200' href='#n200'>200</a>
<a id='n201' href='#n201'>201</a>
<a id='n202' href='#n202'>202</a>
<a id='n203' href='#n203'>203</a>
<a id='n204' href='#n204'>204</a>
<a id='n205' href='#n205'>205</a>
<a id='n206' href='#n206'>206</a>
<a id='n207' href='#n207'>207</a>
<a id='n208' href='#n208'>208</a>
<a id='n209' href='#n209'>209</a>
<a id='n210' href='#n210'>210</a>
<a id='n211' href='#n211'>211</a>
<a id='n212' href='#n212'>212</a>
<a id='n213' href='#n213'>213</a>
<a id='n214' href='#n214'>214</a>
<a id='n215' href='#n215'>215</a>
<a id='n216' href='#n216'>216</a>
<a id='n217' href='#n217'>217</a>
<a id='n218' href='#n218'>218</a>
<a id='n219' href='#n219'>219</a>
<a id='n220' href='#n220'>220</a>
<a id='n221' href='#n221'>221</a>
<a id='n222' href='#n222'>222</a>
<a id='n223' href='#n223'>223</a>
<a id='n224' href='#n224'>224</a>
<a id='n225' href='#n225'>225</a>
</pre></td>
<td class='lines'><pre><code><style>pre { line-height: 125%; margin: 0; }
td.linenos pre { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; }
span.linenos { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; }
td.linenos pre.special { color: #000000; background-color: #ffffc0; padding: 0 5px 0 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding: 0 5px 0 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight { background: #ffffff; }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */</style><div class="highlight"><pre><span></span><span class="k">\documentclass</span><span class="na">[oneside,a4paper]</span><span class="nb">{</span>book<span class="nb">}</span>

<span class="k">\usepackage</span><span class="na">[T1]</span><span class="nb">{</span>fontenc<span class="nb">}</span>   <span class="c">% required for luximono!</span>
<span class="k">\usepackage</span><span class="nb">{</span>lmodern<span class="nb">}</span>
<span class="k">\usepackage</span><span class="na">[scaled=0.8]</span><span class="nb">{</span>luximono<span class="nb">}</span>  <span class="c">% typewriter font with bold face</span>

<span class="c">% To install the luximono font files:</span>
<span class="c">% getnonfreefonts-sys --all        or</span>
<span class="c">% getnonfreefonts-sys luximono</span>
<span class="c">%</span>
<span class="c">% when there are trouble you might need to:</span>
<span class="c">% - Create /etc/texmf/updmap.d/99local-luximono.cfg</span>
<span class="c">%   containing the single line: Map ul9.map</span>
<span class="c">% - Run update-updmap followed by mktexlsr and updmap-sys</span>
<span class="c">%</span>
<span class="c">% This commands must be executed as root with a root environment</span>
<span class="c">% (i.e. run &quot;sudo su&quot; and then execute the commands in the root</span>
<span class="c">% shell, don&#39;t just prefix the commands with &quot;sudo&quot;).</span>

<span class="c">% formats the text accourding the set language</span>
<span class="k">\usepackage</span><span class="na">[english]</span><span class="nb">{</span>babel<span class="nb">}</span>
<span class="k">\usepackage</span><span class="na">[table,usenames]</span><span class="nb">{</span>xcolor<span class="nb">}</span>
<span class="c">% generates indices with the &quot;\index&quot; command</span>
<span class="k">\usepackage</span><span class="nb">{</span>makeidx<span class="nb">}</span>
<span class="c">% enables import of graphics. We use pdflatex here so do the pdf optimisation.</span>
<span class="c">%\usepackage[dvips]{graphicx}</span>
<span class="k">\usepackage</span><span class="na">[pdftex]</span><span class="nb">{</span>graphicx<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>pdfpages<span class="nb">}</span>
<span class="c">% includes floating objects like tables and figures.</span>
<span class="k">\usepackage</span><span class="nb">{</span>float<span class="nb">}</span>
<span class="c">% for generating subfigures with ohne indented captions</span>
<span class="k">\usepackage</span><span class="na">[hang]</span><span class="nb">{</span>subfigure<span class="nb">}</span>
<span class="c">% redefines and smartens captions of figures and tables (indentation, smaller and boldface)</span>
<span class="k">\usepackage</span><span class="na">[hang,small,bf,center]</span><span class="nb">{</span>caption<span class="nb">}</span>
<span class="c">% enables tabstops and the numeration of lines</span>
<span class="k">\usepackage</span><span class="nb">{</span>moreverb<span class="nb">}</span>
<span class="c">% enables user defined header and footer lines (former &quot;fancyheadings&quot;)</span>
<span class="k">\usepackage</span><span class="nb">{</span>fancyhdr<span class="nb">}</span>
<span class="c">% Some smart mathematical stuff</span>
<span class="k">\usepackage</span><span class="nb">{</span>amsmath<span class="nb">}</span>
<span class="c">% Package for rotating several objects</span>
<span class="k">\usepackage</span><span class="nb">{</span>rotating<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>natbib<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>epsf<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>dsfont<span class="nb">}</span>
<span class="k">\usepackage</span><span class="na">[algochapter, boxruled, vlined]</span><span class="nb">{</span>algorithm2e<span class="nb">}</span>
<span class="c">%Activating and setting of character protruding - if you like</span>
<span class="c">%\usepackage[activate,DVIoutput]{pdfcprot}</span>
<span class="c">% If you really need special chars...</span>
<span class="k">\usepackage</span><span class="na">[latin1]</span><span class="nb">{</span>inputenc<span class="nb">}</span>
<span class="c">% Hyperlinks</span>
<span class="k">\usepackage</span>[colorlinks,hyperindex,plainpages=false,<span class="c">%</span>
pdftitle=<span class="nb">{</span>Yosys Manual<span class="nb">}</span>,<span class="c">%</span>
pdfauthor=<span class="nb">{</span>Clifford Wolf<span class="nb">}</span>,<span class="c">%</span>
<span class="c">%pdfkeywords={keyword},%</span>
pdfpagelabels,<span class="c">%</span>
pagebackref,<span class="c">%</span>
bookmarksopen=false<span class="c">%</span>
]<span class="nb">{</span>hyperref<span class="nb">}</span>
<span class="c">% For the two different reference lists ...</span>
<span class="k">\usepackage</span><span class="nb">{</span>multibib<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>multirow<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>booktabs<span class="nb">}</span>

<span class="k">\usepackage</span><span class="nb">{</span>listings<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>pifont<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>skull<span class="nb">}</span>
<span class="c">% \usepackage{draftwatermark}</span>

<span class="k">\usepackage</span><span class="nb">{</span>tikz<span class="nb">}</span>
<span class="k">\usetikzlibrary</span><span class="nb">{</span>calc<span class="nb">}</span>
<span class="k">\usetikzlibrary</span><span class="nb">{</span>arrows<span class="nb">}</span>
<span class="k">\usetikzlibrary</span><span class="nb">{</span>scopes<span class="nb">}</span>
<span class="k">\usetikzlibrary</span><span class="nb">{</span>through<span class="nb">}</span>
<span class="k">\usetikzlibrary</span><span class="nb">{</span>shapes.geometric<span class="nb">}</span>

<span class="k">\lstset</span><span class="nb">{</span>basicstyle=<span class="k">\ttfamily</span><span class="nb">}</span>

<span class="k">\def\B</span>#1<span class="nb">{{</span><span class="k">\tt\textbackslash</span><span class="nb">{}</span>#1<span class="nb">}}</span>
<span class="k">\def\C</span>#1<span class="nb">{</span><span class="k">\lstinline</span><span class="na">[language=C++]</span><span class="nb">{</span>#1<span class="nb">}}</span>
<span class="k">\def\V</span>#1<span class="nb">{</span><span class="k">\lstinline</span><span class="na">[language=Verilog]</span><span class="nb">{</span>#1<span class="nb">}}</span>

<span class="k">\newsavebox</span><span class="nb">{</span><span class="k">\fixmebox</span><span class="nb">}</span>
<span class="k">\newenvironment</span><span class="nb">{</span>fixme<span class="nb">}</span><span class="c">%</span>
<span class="nb">{</span><span class="k">\newcommand\colboxcolor</span><span class="nb">{</span>FFBBBB<span class="nb">}</span><span class="c">%</span>
<span class="k">\begin</span><span class="nb">{</span>lrbox<span class="nb">}{</span><span class="k">\fixmebox</span><span class="nb">}</span><span class="c">%</span>
<span class="k">\begin</span><span class="nb">{</span>minipage<span class="nb">}{</span><span class="k">\dimexpr\columnwidth</span>-2<span class="k">\fboxsep\relax</span><span class="nb">}}</span>
<span class="nb">{</span><span class="k">\end</span><span class="nb">{</span>minipage<span class="nb">}</span><span class="k">\end</span><span class="nb">{</span>lrbox<span class="nb">}</span><span class="k">\textbf</span><span class="nb">{</span>FIXME: <span class="nb">}</span><span class="k">\\</span><span class="c">%</span>
<span class="k">\colorbox</span><span class="na">[HTML]</span><span class="nb">{</span><span class="k">\colboxcolor</span><span class="nb">}{</span><span class="k">\usebox</span><span class="nb">{</span><span class="k">\fixmebox</span><span class="nb">}}}</span>

<span class="k">\newcites</span><span class="nb">{</span>weblink<span class="nb">}{</span>Internet References<span class="nb">}</span>

<span class="k">\setcounter</span><span class="nb">{</span>secnumdepth<span class="nb">}{</span>3<span class="nb">}</span>
<span class="k">\makeindex</span>

<span class="k">\setlength</span><span class="nb">{</span><span class="k">\oddsidemargin</span><span class="nb">}{</span>4mm<span class="nb">}</span>
<span class="k">\setlength</span><span class="nb">{</span><span class="k">\evensidemargin</span><span class="nb">}{</span>-6mm<span class="nb">}</span>
<span class="k">\setlength</span><span class="nb">{</span><span class="k">\textwidth</span><span class="nb">}{</span>162mm<span class="nb">}</span>
<span class="k">\setlength</span><span class="nb">{</span><span class="k">\textheight</span><span class="nb">}{</span>230mm<span class="nb">}</span>
<span class="k">\setlength</span><span class="nb">{</span><span class="k">\topmargin</span><span class="nb">}{</span>-5mm<span class="nb">}</span>

<span class="k">\setlength</span><span class="nb">{</span><span class="k">\parskip</span><span class="nb">}{</span>1.5ex plus 1ex minus 0.5ex<span class="nb">}</span>
<span class="k">\setlength</span><span class="nb">{</span><span class="k">\parindent</span><span class="nb">}{</span>0pt<span class="nb">}</span>

<span class="k">\lstdefinelanguage</span><span class="nb">{</span>liberty<span class="nb">}{</span>
	morecomment=[s]<span class="nb">{</span>/*<span class="nb">}{</span>*/<span class="nb">}</span>,
	morekeywords=<span class="nb">{</span>library,cell,area,pin,direction,function,clocked<span class="nb">_</span>on,next<span class="nb">_</span>state,clock,ff<span class="nb">}</span>,
	morestring=[b]&quot;,
<span class="nb">}</span>

<span class="k">\lstdefinelanguage</span><span class="nb">{</span>rtlil<span class="nb">}{</span>
	morecomment=[l]<span class="nb">{</span><span class="k">\#</span><span class="nb">}</span>,
	morekeywords=<span class="nb">{</span>module,attribute,parameter,wire,memory,auto,width,offset,size,input,output,inout,cell,connect,switch,case,assign,sync,low,high,posedge,negedge,edge,always,update,process,end<span class="nb">}</span>,
	morestring=[b]&quot;,
<span class="nb">}</span>



<span class="k">\begin</span><span class="nb">{</span>document<span class="nb">}</span>

<span class="k">\fancypagestyle</span><span class="nb">{</span>mypagestyle<span class="nb">}{</span><span class="c">%</span>
<span class="k">\fancyhf</span><span class="nb">{}</span><span class="c">%</span>
<span class="k">\fancyhead</span><span class="na">[C]</span><span class="nb">{</span><span class="k">\leftmark</span><span class="nb">}</span><span class="c">%</span>
<span class="k">\fancyfoot</span><span class="na">[C]</span><span class="nb">{</span><span class="k">\thepage</span><span class="nb">}</span><span class="c">%</span>
<span class="k">\renewcommand</span><span class="nb">{</span><span class="k">\headrulewidth</span><span class="nb">}{</span>0pt<span class="nb">}</span><span class="c">%</span>
<span class="k">\renewcommand</span><span class="nb">{</span><span class="k">\footrulewidth</span><span class="nb">}{</span>0pt<span class="nb">}}</span>
<span class="k">\pagestyle</span><span class="nb">{</span>mypagestyle<span class="nb">}</span>

<span class="k">\thispagestyle</span><span class="nb">{</span>empty<span class="nb">}</span>
<span class="k">\null\vfil</span>

<span class="k">\begin</span><span class="nb">{</span>center<span class="nb">}</span>
<span class="k">\bf\Huge</span> Yosys Manual

<span class="k">\bigskip</span>
<span class="k">\large</span> Clifford Wolf
<span class="k">\end</span><span class="nb">{</span>center<span class="nb">}</span>

<span class="k">\vfil\null</span>
<span class="k">\eject</span>

<span class="k">\chapter*</span><span class="nb">{</span>Abstract<span class="nb">}</span>
Most of todays digital design is done in HDL code (mostly Verilog or VHDL) and
with the help of HDL synthesis tools.

In special cases such as synthesis for coarse-grain cell libraries or when
testing new synthesis algorithms it might be neccessary to write a custom HDL
synthesis tool or add new features to an existing one. It this cases the
availability of a Free and Open Source (FOSS) synthesis tool that can be used
as basis for custom tools would be helpful.

In the absence of such a tool, the Yosys Open SYnthesis Suite (Yosys) was
developped. This document covers the design and implementation of this tool.
At the moment the main focus of Yosys lies on the high-level aspects of
digital synthesis. The pre-existing FOSS logic-synthesis tool ABC is used
by Yosys to perform advanced gate-level optimizations.

An evaluation of Yosys based on real-world designs is included. It is shown
that Yosys can be used as-is to synthesize such designs. The results produced
by Yosys in this tests where successflly verified using formal verification
and are compareable in quality to the results produced by a commercial
synthesis tool.

<span class="k">\bigskip</span>

This document was originally published as bachelor thesis at the Vienna
University of Technology <span class="k">\cite</span><span class="nb">{</span>BACC<span class="nb">}</span>.

<span class="k">\chapter*</span><span class="nb">{</span>Abbreviations<span class="nb">}</span>
<span class="k">\begin</span><span class="nb">{</span>tabular<span class="nb">}{</span>ll<span class="nb">}</span>
AIG         <span class="nb">&amp;</span> And-Inverter-Graph <span class="k">\\</span>
ASIC        <span class="nb">&amp;</span> Application-Specific Integrated Circuit <span class="k">\\</span>
AST         <span class="nb">&amp;</span> Abstract Syntax Tree <span class="k">\\</span>
BDD         <span class="nb">&amp;</span> Binary Decicion Diagram <span class="k">\\</span>
BLIF        <span class="nb">&amp;</span> Berkeley Logic Interchange Format <span class="k">\\</span>
EDA         <span class="nb">&amp;</span> Electronic Design Automation <span class="k">\\</span>
EDIF        <span class="nb">&amp;</span> Electronic Design Interchange Format <span class="k">\\</span>
ER Diagram  <span class="nb">&amp;</span> Entity-Relationship Diagram <span class="k">\\</span>
FOSS        <span class="nb">&amp;</span> Free and Open-Source Software <span class="k">\\</span>
FPGA        <span class="nb">&amp;</span> Field-Programmable Gate Array <span class="k">\\</span>
FSM         <span class="nb">&amp;</span> Finite-state machine <span class="k">\\</span>
HDL         <span class="nb">&amp;</span> Hardware Description Language <span class="k">\\</span>
LPM         <span class="nb">&amp;</span> Library of Parameterized Modules <span class="k">\\</span>
RTLIL       <span class="nb">&amp;</span> RTL Intermediate Language <span class="k">\\</span>
RTL         <span class="nb">&amp;</span> Register Transfer Level <span class="k">\\</span>
SAT         <span class="nb">&amp;</span> Satisfiability Problem <span class="k">\\</span>
<span class="c">% SSA       &amp; Static Single Assignment Form \\</span>
VHDL        <span class="nb">&amp;</span> VHSIC Hardware Description Language <span class="k">\\</span>
VHSIC       <span class="nb">&amp;</span> Very-High-Speed Integrated Circuit <span class="k">\\</span>
YOSYS       <span class="nb">&amp;</span> Yosys Open SYnthesis Suite <span class="k">\\</span>
<span class="k">\end</span><span class="nb">{</span>tabular<span class="nb">}</span>

<span class="k">\tableofcontents</span>

<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Intro<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Basics<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Approach<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Overview<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>CellLib<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Prog<span class="nb">}</span>

<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Verilog<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Optimize<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Techmap<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Eval<span class="nb">}</span>

<span class="k">\appendix</span>

<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Auxlibs<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Auxprogs<span class="nb">}</span>

<span class="k">\chapter</span><span class="nb">{</span>Command Reference Manual<span class="nb">}</span>
<span class="k">\label</span><span class="nb">{</span>commandref<span class="nb">}</span>
<span class="k">\input</span><span class="nb">{</span>command-reference-manual<span class="nb">}</span>

<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>Appnotes<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>CHAPTER<span class="nb">_</span>StateOfTheArt<span class="nb">}</span>

<span class="k">\bibliography</span><span class="nb">{</span>literature<span class="nb">}</span>
<span class="k">\bibliographystyle</span><span class="nb">{</span>alphadin<span class="nb">}</span>

<span class="k">\bibliographyweblink</span><span class="nb">{</span>weblinks<span class="nb">}</span>
<span class="k">\bibliographystyleweblink</span><span class="nb">{</span>abbrv<span class="nb">}</span>

<span class="k">\end</span><span class="nb">{</span>document<span class="nb">}</span>
</pre></div>
</code></pre></td></tr></table>
</div> <!-- class=content -->
<div class='footer'>generated by <a href='https://git.zx2c4.com/cgit/about/'>cgit v1.2.3</a> (<a href='https://git-scm.com/'>git 2.25.1</a>) at 2025-04-12 16:45:04 +0000</div>
</div> <!-- id=cgit -->
</body>
</html>
