HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

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

Robert Baruch3 HN recommenders · recommended in 4 months, 2020-2021
YouTube
27K views · 6 years ago · tutorial · dated

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.

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

Computer architecture & CPUsSemiconductors & chip manufacturingEmbedded systems & DIY electronics#fpga#nmigen#6800#hdl#formalverification

4 comments from Hacker News

@krasin2021 · in “Awesome Lattice FPGA Boards”

TinyFPGA BX ([1]) and nmigen/yosys as the fully open source toolchain for generating logic with Python and formally verifying it ([2], [3]). There is a good nMigen tutorial by Robert Baruch ([4]. [5]). Alternatively, if you really want to try Verilog first (not a bad idea), I enjoyed reading a book "Designing Video Game Hardware in Verilog" ([6]). 1. link 2. link 3. link 4. link 5. ▶ this video 6. link

RecommendsView on HN
@MrRadar2021 · in “Lion: A formally verified, 5-stage pipeline RISC-V core”

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 (though I've never had to actually use an HDL myself before so I may not be the best judge). Here's a playlist of the video series, with the earlier videos basically being an introduction to nMigen: link He's got another series that's focused more on the HDL itself building a (relatively much simpler) 6800 CPU core: ▶ this video

RecommendsView on HN
@krasin2020 · in “Glasgow: Scots Army Knife for Electronics”

nMigen is pretty cool and capable. I can only recommend these Youtube series, where nMigen is used to build a full 6800 CPU: ▶ this video

RecommendsView on HN
@magicalhippo2020 · in “Show HN: 1.5kb Microkernel for Ben Eater's 6502 Computer”

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]: ▶ this video

RecommendsView on HN
27c3: Reverse Engineering the MOS 6502 CPU (en)51:57

27c3: Reverse Engineering the MOS 6502 CPU (en)

Christiaan008
477K views • 15 years ago
Experiences Building Edge TPU with Chisel37:47

Experiences Building Edge TPU with Chisel

Chisel
11K views • 7 years ago
Java on a 1000 Cores - Tales of Hardware / Software CoDesign1:12:02

Java on a 1000 Cores - Tales of Hardware / Software CoDesign

Google TechTalks
23K views • 17 years ago
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)58:37

NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

AdaCore
5K views • 5 years ago
Industrial Strength High Performance RISC V Processors For Energy Efficient Computing23:32

Industrial Strength High Performance RISC V Processors For Energy Efficient Computing

RISC-V International
8K views • 8 years ago
8-bit CPU control logic: Part 127:52

8-bit CPU control logic: Part 1

Ben Eater
1.5M views • 9 years ago
[7] Jim Keller, Silicon Wizard 🧙‍♂️1:37:12

[7] Jim Keller, Silicon Wizard 🧙‍♂️

TechTechPotato
67K views • 5 years ago
“Hello, world” from scratch on a 6502 — Part 127:25

“Hello, world” from scratch on a 6502 — Part 1

Ben Eater
5.9M views • 7 years ago
Building AI Silicon14:21

Building AI Silicon

Tenstorrent
17K views • 4 years ago
Chuck Moore's Fireside Chat 20111:00:34

Chuck Moore's Fireside Chat 2011

GreenArraysInc
6K views • 14 years ago
Sophie Wilson - The Future of Microprocessors46:36

Sophie Wilson - The Future of Microprocessors

Erlang Solutions
57K views • 9 years ago
HC2023-K2: Hardware for Deep Learning1:05:28

HC2023-K2: Hardware for Deep Learning

hotchipsvideos
15K views • 3 years ago
8-bit computer update6:53

8-bit computer update

Ben Eater
2.8M views • 10 years ago
"Programming a 144-computer chip to minimize power" - Chuck Moore (2013)40:13

"Programming a 144-computer chip to minimize power" - Chuck Moore (2013)

Strange Loop Conference
19K views • 5 years ago
How are Microchips Made? 🖥️🛠️ CPU Manufacturing Process Steps27:48

How are Microchips Made? 🖥️🛠️ CPU Manufacturing Process Steps

Branch Education
11.9M views • 2 years ago
Joanna Rutkowska: Towards (reasonably) trustworthy x86 laptops1:02:52

Joanna Rutkowska: Towards (reasonably) trustworthy x86 laptops

media.ccc.de
27K views • 10 years ago
Linus builds Linus’ new PC!17:39

Linus builds Linus’ new PC!

Linus Tech Tips
3.7M views • 6 years ago
KiCad 6 STM32 PCB Design Full Tutorial - Phil's Lab #651:40:06

KiCad 6 STM32 PCB Design Full Tutorial - Phil's Lab #65

Phil’s Lab
987K views • 4 years ago
Userbenchmark - the April Fools that never ends14:05

Userbenchmark - the April Fools that never ends

2kliksphilip
2.5M views • 5 years ago
14nm and 7nm are NOT what you think it is - Visiting Tescan Part 3/320:08

14nm and 7nm are NOT what you think it is - Visiting Tescan Part 3/3

der8auer
296K views • 6 years ago