Hacker News new | ask | show | jobs
by magicalhippo 2344 days ago
Semi-related, I've been enjoying Robert Baruch's videos[1] on creating a FPGA implementation of the 6800, using nMigen and formal verification. First videos are almost like live coding, then he skips to a more compact format.

As a regular programmer, it's quite interesting to get into how the bits actually end up getting the work done.

[1]: https://www.youtube.com/watch?v=85ZCTuekjGA&list=PLEeZWGE3Pw...