Fredrik snackar med Robert Wikander om verifiering av kretsar, testning, skriptande, öppen hårvaras nutid och framtid, och mycket mer.

Vad har Perl och Python för gemensam koppling till design av hårdvara?

Robert berättar också om drivet mot öppen hårdvara, öppna instruktionsset och öppna verktygskedjor - varför finns det, och hur går det? Finns det en framtid för något annat än processorer med Arm-licens eller från Intel?

Ett stort tack till Cloudnet som sponsrar vår VPS!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @antikristoffer, och @bjoreman på Twitter, har en sida på Facebook och epostas på info@kodsnack.se om du vill skriva längre. Vi läser allt som skickas.

Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi.

• Robert
• Switchcore
• Taiwan semiconductor - TSMC
• Hsinchu Science Park
• UMC
• Packet architects
• VHDL - Very high speed integrated circuit hardware description language
• Ada
• DARPA
• Verilog
• State machine
• SDF
• Oskar Wickström berättade om testning med och utan modeller i avsnitt 386
• Specman och verifikationsspråket e
• Systemverilog
• IEEE 1800
• Synopsys
• Mentor
• Cadence
• VMM, OVM, och UVM
• AXI
• Wilson Snyder
• Verilator - simulatorn Wilson och andra bygger
• Openrisc
• RISC-V
• Sifive
• Andreas Olofsson drev projekt på Darpa, byggde hundra kärnor på chip-startup
• Open road project
• Yosys - öppet syntesverktyg
• A practical guide to adopting universal verification methodology
• Perl
• Python
• Spekulativ exekvering
• Swerv
• FOSSI - free and open source silicon foundation
• Linux foundation
• CHIPS alliance
• Qamcom
• Futurewei
• PYHDL
• Chipyard
• Chisel HDL
• Scala

• Världens hjärta
• Less på att flyga
• Vi kan bygga en generator
• Det fastnade i Europa
• För att garantera att ingen ska känna igen sig helt
• Väldigt mjukvarulikt
• Hur ska vi verifiera det här?
• Varje bit ska vara satt någon gång
• Har jag satt alla bitar?
• Man blir ju blind på sin egen kod
• Det är inte rocket science att bygga ett instruktionsset
• Vem köper en kompilator idag?
• Generatorer hela vägen ner