11:05 <ovf> nitpick: the documentation for the verilog backend shouldn't call it a frontend at https://github.com/YosysHQ/yosys/blob/8d9196066370b156ae2beefed5aa2da545255e4c/backends/verilog/verilog_backend.cc#L1796 , also reproduced at http://www.clifford.at/yosys/cmd_write_verilog.html

11:05 <tpb> Title: yosys/verilog_backend.cc at 8d9196066370b156ae2beefed5aa2da545255e4c · YosysHQ/yosys · GitHub (at github.com)

14:52 <Kergadon> I would like to run a very short course on FPGA programing, I know that there were some introductory courses put together for using Yosys so I was wondering if there might be some slides that cover the basics of FPGA programing.

14:53 <Kergadon> I am currently the only person at my makerspace familiar with the FPGA boards we recently acquired so I wanted to make sure to give the other members a chance to learn the basics before I have to leave to start a new job in another state.

14:54 <tnt> there is the wtfpga workshop adapted to the icebreaker by esden

14:59 <Kergadon> Awesome thanks, tnt

17:29 <ZipCPU> Kergadon: I also offer slides in http://zipcpu.com/tutorial

17:29 <tpb> Title: Verilog, Formal Verification and Verilator Beginner's Tutorial (at zipcpu.com)

17:29 <Kergadon> Thanks that's a great help

18:46 <maikmerten> turns out that ~250 iCE40 LCs can make music: https://drive.google.com/open?id=1Ogl_XgvafcEiYNZfUTCzjtCKMWBzlutq

18:46 <tpb> Title: deflemask-animeopening.flac - Google Drive (at drive.google.com)

18:46 <maikmerten> source: https://github.com/maikmerten/spu32/blob/master/audio/sn76489_wb8.v

18:46 <tpb> Title: spu32/sn76489_wb8.v at master · maikmerten/spu32 · GitHub (at github.com)

23:16 <ZipCPU> maikmerten: That's awesome! Brings back some old memories too