hackertube.io

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

Robert Baruch · tutorial · Watch on YouTube

Computer architecture & CPUsSemiconductors & chip manufacturingEmbedded systems & DIY electronics

What it is

The first part of Robert Baruch's series on building a 6800 CPU on an FPGA with nMigen, a Python-based hardware description language. It introduces the HDL while implementing a simpler 6800 core.

Why Hacker News recommends it

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

  • 3 people recommended it
  • 4 different months
  • 0 strong recommendations
  • first 2020, last 2021

What HN commenters said

  1. “I've been enjoying Robert Baruch's videos[1] on creating a FPGA implementation of the 6800, using nMigen and formal verification.”

    Series building a 6800 CPU in nMigen with formal verification.

    magicalhippo, 2020-01 · Recommendation · in “Show HN: 1.5kb Microkernel for Ben Eater's 6502 Computer”

  2. “I can only recommend these Youtube series, where nMigen is used to build a full 6800 CPU”

    Series building a full 6800 CPU with nMigen.

    krasin, 2020-08 · Recommendation · in “Glasgow: Scots Army Knife for Electronics”

  3. “He's got another series that's focused more on the HDL itself building a (relatively much simpler) 6800 CPU core”

    Series focused on nMigen HDL, building a simpler 6800 core.

    MrRadar, 2021-03 · Recommendation · in “Lion: A formally verified, 5-stage pipeline RISC-V core”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: fpga, nmigen, 6800, hdl, formal verification

Also recommended by the same people