Bio: Full-stack developer, from JS to transistors. Mostly transistors these days.

Open Source Formal Verification in VHDL

made by pepijndevos, submitted by porterjamesj
In this post, Pepjin demonstrates synthesizing a CPU using a hardware description language and verifying its correctness using entirely open source tools!

Dwergmuis

made by pepijndevos, submitted by davidbalbert
Pepijn made a mouse out of wood. What a cool project.