Fredrik chats with Wilson Snyder about Verilator, chip design, performance, and open hardware.

This episode is a bit of a follow-up to episode 389 where Robert Wikandertalked - in Swedish - about verification of circuit designs. Afterward, Robert mentioned that we should really ask Wilson Snyder to talk about Verilator, and here we are! Wilson works with CPU and other hardware design, and is one of the lead developers of Verilator. When you design hardware, hardware description languages come in handy - you use them to describe hardware precisely. Then you can generate runnable code simulating the hardware, and run batteries of tests against it without needing to manufacture physical hardware.

Verilator is one tool for turning code in the Verilog hardware description language into C++ or Systemc. The major competing tools are more on the interpreter side - which means that Verilator usually has a performance advantage. Oh, and it’s GPL licensed as well. As we discuss, Verilator doesn’t actually support all of Verilog, but that’s being worked on. And increased performance in itself is a clear goal of both research and concrete improvements.

We also discuss a bit what might come out hardware-wise in the future. Wilson predicts DPUs - data-offload units, basically - will become even more of a thing than today.

The second part of the discussion is focused on Verilator itself - how it’s built, designed, and developed. People with knowledge of compilers will feel right at home inside the Verilator source code.

Thank you Cloudnet for sponsoring our VPS!

Comments, questions or tips? We are @kodsnack, @tobiashieta, @oferlundand @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se if you want to write longer. We read everything we receive.

If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi.

Links

• Wilson Snyder
• Robert Wikander - appeared in episode 389 (in Swedish)
• Digital equipment
• Verilator
• Hardware verification
• Synthesis - converting the language used into hardware gates
• Emacs
• Linus - yes, Torvalds
• GPL 2
• GPL 3
• Compiler
• Interpreter
• CHIPS alliance
• Duane Galbi got Verilator open sourced
• Tarball
• Systemc
• EDA - Electronic design automation
• Cadence
• Synopsys - provides synthesis tools
• Git
• RISC-V
• Open cores
• FPGA
• Open source ARM and MIPS cores
• Standard cell
• DSP
• Amiga
• ML
• GPUs
• DPUs
• Parsing
• Lexing
• Verilator on Github
• Verilator’s Github issues
• UVM - Universal verification methodology
• veripool.org

Titles

• An open source tool that could do verification
• It started as a hobby
• It has a life of its own
• Into actual hardware gates
• Matching the languages
• A good escape story
• It’s bascially a compiler
• Open source hardware design
• The performance to generate the next CPU
• Innovation feedback cycles
• Download a core
• Always a little bit of a focus
• My real job is CPU design

Fredrik snackar Stockholms stads omtalade skolplattform med Johan Öbrink, en av de inblandade i appen Öppna skolplattformen som byggts mot Skolplattformens API.

Vi värmer upp med att diskutera hur förändring av stora organisationer påminner om maskininlärning.

Det blir en snabb genomgång av Skolplattformen - vad den är, varifrån den kommer, och därifrån vad Öppna skolplattformen är. Och varför kostar den pengar, men har öppen källkod.

Därefter diskuterar vi hur Öppna skolplattformen tagits emot, av både användare och Stockholms stad. Johan berättar om dialogen med Stockholms stad, och varför deras reaktioner kan tänkas ha blivit som de blev - som att aktivt försöka störa Öppna skolplattformens förmåga att ansluta.

De större diskussionerna kretsar egentligen kring dialog - dialog mellan utvecklare och alla andra, dialog kring hur offentliga system kan och bör utvecklas - och hur vi som utvecklare har ett stort ansvar att faktiskt ta steget att mer aktivt försöka prata med andra på ren svenska (eller så nära vi nu kan komma).

Hur gratis är utbildning? Den tydliga linjen att det är så har satt sig under många år, och digitalisering - som Skolplattformen - är ett lysande tillfälle att ta upp en massa sådana antaganden till diskussion och omvärdering igen. Statens roll: infrastruktur, inte applikationer? Agil upphandling - finns det hopp om det?

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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, eller handla något i vår butik.

Länkar

• Johan Öbrink
• Johan var med i avsnitt 128
• VIC-20
• SEB
• Cost function
• Backpropagation
• Skolplattformen
• Öppna skolplattformen
• Öppna skolplattformen på Twitter
• Säkerhetsproblemen med Skolplattformen 2019
• Christian Landgren
• Iteam
• Max Weber
• Martin Fowler
• Richard Feynman
• Beyond budgeting
• LOU - Lagen om offentlig upphandling
• Per Thelin på SL
• Opengov
• Opengovs Slack-kanal
• Facebook-gruppen Opengov öppen offentlig förvaltning
• Elektroniska hälsointyg på Github
• Jobtech - Försäkringskassans projekt
• Jacob Schlyter
• Syntes
• Andra poddavsnitt om och med Öppna skolplattformen:
  • Known unknowns
  • Kompilator 41
  • Agilpodden 93

Titlar

• Klassisk pojkrumsnörd
• Begått de flesta misstag man kan begå
• Min huvudsakliga IDE är Powerpoint
• Enormt mycket under förväntan
• Gaffa istället för bultar
• En dålig förälder
• Det här är bara utstörning
• Det var faktiskt utstörning som var målet
• Det finns inget massuttag
• En dataläcka som bara är API-användning
• Systemet är bakvänt konstruerat
• Omvänd ragequit
• Rage-double-down
• Policyfrågor och programmering
• Det måste finnas någon att lyssna på
• Sänk cykelpriset
• Vem kommer ut med appen först?
• Makten att förändra saker
• Driva politik som pull requests
• Var oense på ett bra sätt

Är webben för komplicerad? Ämnet har diskuterats i Kodsnacks Slack-kanal, och Fredrik tar hjälp av Anton Österberg och Anton Gunnarsson för att vrida och vända på sina och andras tankar.

Om vi fick välja på en webb som bara var dokument, och en som bara var en app-plattform, vad hade vi valt då? Har vi vett att uppskatta webben för var den är?

Komplext, komplicerat, eller både och?

Anton Gunnarsson försvarar och gillar Flash. Fredrik associerar vidare till Hypercard.

Det kanske finns mer att lära sig, men det som var enkelt förr är ofta enkelt fortfarande, och nu kan vi bygga så mycket mer utöver det.

Allt som känns komplext och komplicerat kanske har ett syfte, trots allt?

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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, eller handla något i vår butik.

Länkar

• Anton Österberg
• Anton Gunnarsson (Twitter)
• Grannpodden Asdf har också diskuterat ämnet
• Originaltweetet och Rachels respons
• Rachel Nabors
• Web-USB
• three.js
• react-three-fiber
• Create react app
• Objective-C
• Interface builder
• Rome
• Babel
• Ryan Dahl
• Deno
• Tio saker jag ångrar med Node
• Animera filmer i React - Remotion
• Hypercard
• Hypercards skapande
• Myst
• Webassembly
• Svelte
• Paul Henschel - skapare av React three fiber
• Evan You - skapare av Vue
• Rich Harris - skapare av Svelte
• Vite - Vues Webpack
• Netlify
• Let’s encrypt
• PUL

Titlar

• För mig och Anton är det inte så svårt
• Alla andra heter Anton
• Mer än bara dokument
• Man ska aldrig bygga appar på webben
• Webben är det jag kan
• Du förväntades inte bygga en katedral
• Komplex och komplicerad
• Komplicerat vs komplext
• Mycket backend i mina dagar
• Paket i världens hierarki
• Om vi hade börjat om idag
• Utrymme att tänka nya saker
• Superlim mellan korten
• 20-talets motsvarighet till Flash

Fredrik och Kristoffer snackar om en rad aktuella ämnen:

• Flikfilosofi - hur många, när, olika vikt på telefon och dator? Borde webbläsare och andra flikade fönster ta efter Emacs bufferthantering? Finns det program som har en flikhantering på nästa nivå?
• Podcast Chapters - Fredrik har släppt versionen han filade på sist, och det gick … bra, till slut. En klassisk ensamutvecklarbugg. Därifrån kommer vi in på en intressant lag i Arizona som kräver att appbutiker tillåter alternativa betalningsmetoder. Det är svårt att veta hur man faktiskt vill ha det.
• Vad händer med captchas om alla skulle lägga ner jobbet på självkörande bilar?
• Fredrik har - sist av alla - börjat spela Myst i VR. Fredrik försöker göra en Advent of code på ett pussel och blir både frustrerad och nöjd. Spoilers för ett pussel från 1993 utlovas! Abstrakta pussel som både är en del av världen och samtidigt inte. Världar man både känner sig som en del av, men samtidigt bortkopplad från. Pusseldesign är fascinerande

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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, eller handla något i vår butik.

Länkar

• Bandcamp
• Macsymbolicator
• IDEA - Jetbrains IDE för Java
• Myst
• Notarisering
• Arizonas nya lag
• Wechat
• F-droid
• Gmails matteproblem innan man får skicka mejl
• Trolley-problemet
• Myst
• Riven
• Realmyst
• Hypercard
• 7th guest
• The witness
• Alpha-beta-pruning
• Den matematiska analysen av kugghjulsproblemet
• King’s quest
• Recursive descent
• Towers of Hanoi
• Steve Troughton-Smith
• Handmade hero
• Casey Muratori
• Co-recursive med Casey Muratori

Titlar

• En ny dag med hundra tabbar
• Hundratals tabbar
• Långlivade tabbar
• Ett bekymmer är att de syns hela tiden
• Ett spår av nya flikar
• Gratis tills man är fast
• Ensamutvecklarbugg
• Nere på 7,5%
• 30% bra
• Girigheter och dumheter
• Apple friction
• 100% captchas
• Inte coolt nog för mig
• Ett litet träd av noder
• Enda problemet var att jag inte hittade något svar
• Inte kvar i sökmotorerna
• Det är rätt att du inte hittade en lösning
• Det fanns en tredje spak

Fredrik och Kristoffer värmer upp med snöskottande och liande, två tillfällen att vara i nuet och lära sig tekniken för någonting.

Sedan snackar vi om Fredriks app Podcast Chapters. Fredrik har nyss släppt (skulle just släppa när avsnittet spelades in) en version där appen går från att kosta pengar rakt av till att vara gratis att prova med ett köp inuti appen för att låsa upp full funktionalitet. Fredrik snackar om den läskiga känslan i att kanske råka låsa ute gamla användare, större och mindre otydligheter i Apples dokumentation och lättare och svårare vägar att ta för att bekräfta att någon äger ens app eller ej.

Vi berör också kluvenheten kring att konvertera en app till att vara gratis med köp inuti appen.

Som avslutning pratar Kristoffer om att minska eko i sin studio, och tipsar om några sevärda snack från årets upplaga av linux.conf.au.

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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, eller handla något i vår butik.

Länkar

• Liande
• Skandinaviska liar - sliplie
• Schweiziska liar - knackliar
• Knackning
• Flow state
• Podcast Chapters - den nya versionen är ute nu
• Testflight
• Pixelmator
• Att validera App store-kvitton
• Storekit
• Shareware
• Quake
• Swiftui
• Hacking with Swift
• Oskar Groth - var med i avsnitt 398
• Sensei
• Malin var med i avsnitt 395
• Rust
• Linux på M1
• Docker på M1
• Boot camp
• linux.conf.au 2021
• Cory Doctorow
• Cory Doctorows keynote
• Tim Serongs snack om varför containers är ett misstag
• Julien Goodwin - det värsta misstaget som aldrig hände i min karriär
• Terraform
• Noa Resare snackade bitcoin i avsnitt 42

Titlar

• Jag ska lia
• Det praktiska liandet
• “Om man kan” är nyckelfrasen
• (Om man är) en modern liare
• Konsensus bland liare
• En promille av liandet
• Helt fokuserad på snöskottandet
• Snöskyffling i mellansvensk standard
• Jag vet inte om jag litar på processen
• Min favoritkonferens i världen
• Man får ta vad man får just nu