`default_nettype none
module forloop_select_gate (clk, ctrl, din, en, dout);
      input wire clk;
      input wire [3:0] ctrl;
      input wire [15:0] din;
      input wire en;
      output reg [15:0] dout;
      reg [4:0] sel;
      always @(posedge clk)
        case (|(en))
          1'b 1:
            begin
              case (({(ctrl)*(0)})+(0))
                0:
                  dout[0:0] <= din;
                1:
                  dout[1:1] <= din;
                2:
                  dout[2:2] <= din;
                3:
                  dout[3:3] <= din;
                4:
                  dout[4:4] <= din;
                5:
                  dout[5:5] <= din;
                6:
                  dout[6:6] <= din;
                7:
                  dout[7:7] <= din;
                8:
                  dout[8:8] <= din;
                9:
                  dout[9:9] <= din;
                10:
                  dout[10:10] <= din;
                11:
                  dout[11:11] <= din;
                12:
                  dout[12:12] <= din;
                13:
                  dout[13:13] <= din;
                14:
                  dout[14:14] <= din;
                15:
                  dout[15:15] <= din;
              endcase
              case (({(ctrl)*(5'b 00001)})+(0))
                0:
                  dout[0:0] <= din;
                1:
                  dout[1:1] <= din;
                2:
                  dout[2:2] <= din;
                3:
                  dout[3:3] <= din;
                4:
                  dout[4:4] <= din;
                5:
                  dout[5:5] <= din;
                6:
                  dout[6:6] <= din;
                7:
                  dout[7:7] <= din;
                8:
                  dout[8:8] <= din;
                9:
                  dout[9:9] <= din;
                10:
                  dout[10:10] <= din;
                11:
                  dout[11:11] <= din;
                12:
                  dout[12:12] <= din;
                13:
                  dout[13:13] <= din;
                14:
                  dout[14:14] <= din;
                15:
                  dout[15:15] <= din;
              endcase
              case (({(ctrl)*(5'b 00010)})+(0))
                0:
                  dout[0:0] <= din;
                1:
                  dout[1:1] <= din;
                2:
                  dout[2:2] <= din;
                3:
                  dout[3:3] <= din;
                4:
                  dout[4:4] <= din;
                5:
                  dout[5:5] <= din;
                6:
                  dout[6:6] <= din;
                7:
                  dout[7:7] <= din;
                8:
                  dout[8:8] <= din;
                9:
                  dout[9:9] <= din;
                10:
                  dout[10:10] <= din;
                11:
                  dout[11:11] <= din;
                12:
                  dout[12:12] <= din;
                13:
                  dout[13:13] <= din;
                14:
                  dout[14:14] <= din;
                15:
                  dout[15:15] <= din;
              endcase
              case (({(ctrl)*(5'b 00011)})+(0))
                0:
                  dout[0:0] <= din;
                1:
                  dout[1:1] <= din;
                2:
                  dout[2:2] <= din;
                3:
                  dout[3:3] <= din;
                4:
                  dout[4:4] <= din;
                5:
                  dout[5:5] <= din;
                6:
                  dout[6:6] <= din;
                7:
                  dout[7:7] <= din;
                8:
                  dout[8:8] <= din;
                9:
                  dout[9:9] <= din;
                10:
                  dout[10:10] <= din;
                11:
                  dout[11:11] <= din;
                12:
                  dout[12:12] <= din;
                13:
                  dout[13:13] <= din;
                14:
                  dout[14:14] <= din;
                15:
                  dout[15:15] <= din;
              endcase
              case (({(ctrl)*(5'b 00100)})+(0))
                0:
                  dout[0:0] <= din;
                1:
                  dout[1:1] <= din;
                2:
                  dout[2:2] <= din;
                3:
                  dout[3:3] <= din;
                4:
                  dout[4:4] <= din;
                5:
                  dout[5:5] <= din;
                6:
                  dout[6:6] <= din;
                7:
                  dout[7:7] <= din;
                8:
                  dout[8:8] <= din;
                9:
                  dout[9:9] <= din;
                10:
                  dout[10:10] <= din;
                11:
                  dout[11:11] <= din;
                12:
                  dout[12:12] <= din;
                13:
                  dout[13:13] <= din;
                14:
                  dout[14:14] <= din;
                15:
                  dout[15:15] <= din;
              endcase
              case (({(ctrl)*(5'b 00101)})+(0))
                0:
                  dout[0:0] <= din;
                1:
                  dout[1:1] <= din;
                2:
                  dout[2:2] <= din;
                3:
                  dout[3:3] <= din;
                4:
                  dout[4:4] <= din;
                5:
                  dout[5:5] <= din;
                6:
                  dout[6:6] <= din;
                7:
                  dout[7:7] <= din;
                8:
                  dout[8:8] <= din;
                9:
                  dout[9:9] <= din;
                10:
                  dout[10:10] <= din;
                11:
                  dout[11:11] <= din;
                12:
                  dout[12:12] <= din;
                13:
                  dout[13:13] <= din;
                14:
                  dout[14:14] <= din;
                15:
                  dout[15:15] <= din;
              endcase
              case (({(ctrl)*(5'b 00110)})+(0))
                0:
                  dout[0:0] <= din;
                1:
                  dout[1:1] <= din;
                2:
                  dout[2:2] <= din;
                3:
                  dout[3:3] <= din;
                4:
                  dout[4:4] <= din;
                5:
                  dout[5:5] <= din;
                6:
                  dout[6:6] <= din;
                7:
                  dout[7:7] <= din;
                8:
                  dout[8:8] <= din;
                9:
                  dout[9:9] <= din;
                10:
                  dout[10:10] <= din;
                11:
                  dout[11:11] <= din;
                12:
                  dout[12:12] <= din;
                13:
                  dout[13:13] <= din;
                14:
                  dout[14:14] <= din;
                15:
                  dout[15:15] <= din;
              endcase
              case (({(ctrl)*(5'b 00111)})+(0))
                0:
                  dout[0:0] <= din;
                1:
                  dout[1:1] <= din;
                2:
                  dout[2:2] <= din;
                3:
                  dout[3:3] <= din;
                4:
                  dout[4:4] <= din;
                5:
                  dout[5:5] <= din;
                6:
                  dout[6:6] <= din;
                7:
                  dout[7:7] <= din;
                8:
                  dout[8:8] <= din;
                9:
                  dout[9:9] <= din;
                10:
                  dout[10:10] <= din;
                11:
                  dout[11:11] <= din;
                12:
                  dout[12:12] <= din;
                13:
                  dout[13:13] <= din;
                14:
                  dout[14:14] <= din;
                15:
                  dout[15:15] <= din;
              endcase
              case (({(ctrl)*(5'b 01000)})+(0))
                0:
                  dout[0:0] <= din;
                1<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="nb">{</span>beamer<span class="nb">}</span>
<span class="k">\hypersetup</span><span class="nb">{</span>bookmarksdepth=5<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 according 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="nb">{</span>amsmath<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>setspace<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>skull<span class="nb">}</span>
<span class="k">\usepackage</span><span class="nb">{</span>units<span class="nb">}</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">\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">\lstdefinelanguage</span><span class="nb">{</span>ys<span class="nb">}{</span>
	morecomment=[l]<span class="nb">{</span><span class="k">\#</span><span class="nb">}</span>,
<span class="nb">}</span>

<span class="k">\lstset</span><span class="nb">{</span>
	commentstyle=<span class="k">\color</span><span class="nb">{</span>YosysGreen<span class="nb">}</span>,
<span class="nb">}</span>

<span class="k">\newenvironment</span><span class="nb">{</span>boxalertenv<span class="nb">}{</span><span class="k">\begin</span><span class="nb">{</span>altenv<span class="nb">}</span><span class="c">%</span>
<span class="nb">{</span><span class="k">\usebeamertemplate</span><span class="nb">{</span>alerted text begin<span class="nb">}</span><span class="k">\usebeamercolor</span><span class="na">[fg]</span><span class="nb">{</span>alerted text<span class="nb">}</span><span class="k">\usebeamerfont</span><span class="nb">{</span>alerted text<span class="nb">}</span><span class="k">\setlength</span><span class="nb">{</span><span class="k">\fboxsep</span><span class="nb">}{</span>1pt<span class="nb">}</span><span class="k">\colorbox</span><span class="nb">{</span>bg<span class="nb">}}</span>
<span class="nb">{</span><span class="k">\usebeamertemplate</span><span class="nb">{</span>alerted text end<span class="nb">}}{</span><span class="k">\color</span><span class="nb">{</span>.<span class="nb">}}{}}{</span><span class="k">\end</span><span class="nb">{</span>altenv<span class="nb">}}</span>

<span class="k">\newcommand</span>&lt;&gt;<span class="nb">{</span><span class="k">\boxalert</span><span class="nb">}</span>[1]<span class="nb">{{</span><span class="c">%</span>
<span class="k">\begin</span><span class="nb">{</span>boxalertenv<span class="nb">}</span>#2<span class="nb">{</span>#1<span class="nb">}</span><span class="k">\end</span><span class="nb">{</span>boxalertenv<span class="nb">}</span><span class="c">%</span>
<span class="nb">}}</span>

<span class="k">\newcommand</span><span class="nb">{</span><span class="k">\subsectionpagesuffix</span><span class="nb">}{</span>
<span class="k">\vfill\begin</span><span class="nb">{</span>centering<span class="nb">}</span>
<span class="nb">{</span><span class="k">\usebeamerfont</span><span class="nb">{</span>subsection name<span class="nb">}</span><span class="k">\usebeamercolor</span><span class="na">[fg]</span><span class="nb">{</span>subsection name<span class="nb">}</span>of <span class="k">\sectionname</span>~<span class="k">\insertsectionnumber</span><span class="nb">}</span>
<span class="k">\vskip</span>1em<span class="k">\par</span>
<span class="k">\setbeamercolor</span><span class="nb">{</span>graybox<span class="nb">}{</span>bg=gray<span class="nb">}</span>
<span class="k">\begin</span><span class="nb">{</span>beamercolorbox<span class="nb">}</span>[sep=8pt,center]<span class="nb">{</span>graybox<span class="nb">}</span>
<span class="k">\usebeamerfont</span><span class="nb">{</span>subsection title<span class="nb">}</span><span class="k">\insertsection\par</span>
<span class="k">\end</span><span class="nb">{</span>beamercolorbox<span class="nb">}</span>
<span class="k">\end</span><span class="nb">{</span>centering<span class="nb">}}</span>

<span class="k">\title</span><span class="nb">{</span>Yosys Open SYnthesis Suite<span class="nb">}</span>
<span class="k">\author</span><span class="nb">{</span>Clifford Wolf<span class="nb">}</span>
<span class="k">\institute</span><span class="nb">{</span>http://www.clifford.at/yosys/<span class="nb">}</span>

<span class="k">\usetheme</span><span class="nb">{</span>Madrid<span class="nb">}</span>
<span class="k">\usecolortheme</span><span class="nb">{</span>seagull<span class="nb">}</span>
<span class="k">\beamertemplatenavigationsymbolsempty</span>

<span class="k">\definecolor</span><span class="nb">{</span>YosysGreen<span class="nb">}{</span>RGB<span class="nb">}{</span>85,136,102<span class="nb">}</span>
<span class="k">\definecolor</span><span class="nb">{</span>MyBlue<span class="nb">}{</span>RGB<span class="nb">}{</span>85,130,180<span class="nb">}</span>

<span class="k">\setbeamercolor</span><span class="nb">{</span>title<span class="nb">}{</span>fg=black,bg=YosysGreen!70<span class="nb">}</span>
<span class="k">\setbeamercolor</span><span class="nb">{</span>titlelike<span class="nb">}{</span>fg=black,bg=YosysGreen!70<span class="nb">}</span>
<span class="k">\setbeamercolor</span><span class="nb">{</span>frametitle<span class="nb">}{</span>fg=black,bg=YosysGreen!70<span class="nb">}</span>
<span class="k">\setbeamercolor</span><span class="nb">{</span>block title<span class="nb">}{</span>fg=black,bg=YosysGreen!70<span class="nb">}</span>
<span class="k">\setbeamercolor</span><span class="nb">{</span>item projected<span class="nb">}{</span>fg=black,bg=YosysGreen<span class="nb">}</span>

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

<span class="k">\begin</span><span class="nb">{</span>frame<span class="nb">}</span>
<span class="k">\titlepage</span>
<span class="k">\end</span><span class="nb">{</span>frame<span class="nb">}</span>

<span class="k">\setcounter</span><span class="nb">{</span>section<span class="nb">}{</span>-3<span class="nb">}</span>

<span class="k">\section</span><span class="nb">{</span>Abstract<span class="nb">}</span>
<span class="k">\begin</span><span class="nb">{</span>frame<span class="nb">}{</span>Abstract<span class="nb">}</span>
Yosys is the first full-featured open source software for Verilog HDL
synthesis. It supports most of Verilog-2005 and is well tested with
real-world designs from the ASIC and FPGA world.

<span class="k">\bigskip</span>
Learn how to use Yosys to create your own custom synthesis flows and
discover why open source HDL synthesis is important for researchers,
hobbyists, educators and engineers alike.

<span class="k">\bigskip</span>
This presentation covers basic concepts of Yosys, writing synthesis scripts
for a wide range of applications, creating Yosys scripts for various
non-synthesis applications (such as formal equivalence checking) and
writing extensions to Yosys using the C++ API.
<span class="k">\end</span><span class="nb">{</span>frame<span class="nb">}</span>

<span class="k">\section</span><span class="nb">{</span>About me<span class="nb">}</span>
<span class="k">\begin</span><span class="nb">{</span>frame<span class="nb">}{</span>About me<span class="nb">}</span>
Hi! I&#39;m Clifford Wolf.

<span class="k">\bigskip</span>
I like writing open source software. For example:
<span class="k">\begin</span><span class="nb">{</span>itemize<span class="nb">}</span>
<span class="k">\item</span> Yosys
<span class="k">\item</span> OpenSCAD (now maintained by Marius Kintel)
<span class="k">\item</span> SPL (a not very popular scripting language)
<span class="k">\item</span> EmbedVM (a very simple compiler+vm for 8 bit micros)
<span class="k">\item</span> Lib(X)SVF (a library to play SVF/XSVF files over JTAG)
<span class="k">\item</span> ROCK Linux (discontinued since 2010)
<span class="k">\end</span><span class="nb">{</span>itemize<span class="nb">}</span>
<span class="k">\end</span><span class="nb">{</span>frame<span class="nb">}</span>

<span class="k">\section</span><span class="nb">{</span>Outline<span class="nb">}</span>
<span class="k">\begin</span><span class="nb">{</span>frame<span class="nb">}{</span>Outline<span class="nb">}</span>
Yosys is an Open Source Verilog synthesis tool, and more.

<span class="k">\bigskip</span>
Outline of this presentation:
<span class="k">\begin</span><span class="nb">{</span>itemize<span class="nb">}</span>
<span class="k">\item</span> Introduction to the field and Yosys
<span class="k">\item</span> Yosys by example: synthesis
<span class="k">\item</span> Yosys by example: advanced synthesis
<span class="k">\item</span> Yosys by example: beyond synthesis
<span class="k">\item</span> Writing Yosys extensions in C++
<span class="k">\end</span><span class="nb">{</span>itemize<span class="nb">}</span>
<span class="k">\end</span><span class="nb">{</span>frame<span class="nb">}</span>

<span class="k">\include</span><span class="nb">{</span>PRESENTATION<span class="nb">_</span>Intro<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>PRESENTATION<span class="nb">_</span>ExSyn<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>PRESENTATION<span class="nb">_</span>ExAdv<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>PRESENTATION<span class="nb">_</span>ExOth<span class="nb">}</span>
<span class="k">\include</span><span class="nb">{</span>PRESENTATION<span class="nb">_</span>Prog<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-10-05 04:24:09 +0000</div>
</div> <!-- id=cgit -->
</body>
</html>
