Building a 6800 CPU on an FPGA with nMigen (part 1)

Why HN readers recommended it

HN recommends the series as a practical introduction to nMigen and formal verification for CPU design.

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel

Robert Baruch

Topic

fpga cpu design

Format

tutorial

Level

intermediate

HN recommenders in dataset

3

HN mentions in dataset

4

Recommendation years in dataset

2020–2021

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

• 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 …

• nMigen is pretty cool and capable. I can only recommend these Youtube series, where nMigen is used to build a full 6800 CPU: [VIDEO]

• Robert Baruch on Youtube is building a RISC-V CPU core of comparable complexity to the one in the OP using nMigen which is an HDL based on Python and it looks like a very nice tool to work with relative to other HDLs I've seen …