Making it match the sim.

Clock shows one clock between last data transition and rising edge of we_n, scope shows two.

Getting closer!

#protonpack #FPGA #Alchitry #Verilator #verilog

This week experimented with adding a matmul & sorting accelerators (and opcodes for both) to PicoRV32 using the PCPI interface. Also added support for those ops to the Spike RISCV simulator. Yes, Claude helped a huge amount with these tasks which would've likely taken weeks otherwise. The design simulates (Verilator) & sythesizes (yosys) and I can generate a bitstream for both GateMateA1 and ECP5 (OrangeCrab board)

#FPGA #yosys #verilator

My Nandgame CPU now has an Assembler.

Yes, it's LLM generated.
I run into the problem that I want to solve problem X, for for that, I need to solve Y, Z, Q, a.s.o first.
I needed a shortcut.

Anyway, I now can sum the numbers from 0 to 10.
I need to manually calculate jump positions. No labels.
I have no proper halt instruction and will probably simply use the nand2tetris convention of "these instruction bits need to be 1". Which is fugly for future extensions.

I have no idea how to properly solve this.

https://git.uvok.de/fpga-exper/tree/nandgame/assembler?h=main

#nandgame #nand2tetris #verilator

assembler « nandgame - fpga-exper - FPGA experiments

Makefile - fpga-exper - FPGA experiments

It turns out I already had the verilator lint support installed in my #vscode

https://github.com/Migilint/vscode-verilog-linter

And once I compiled/installed #verilator (and set up the path, which unfortunately seems to be manual), it is integrated nicely. It doesn't seem to run automatically though as I type.

#codium #fpga #verilog

GitHub - Migilint/vscode-verilog-linter

Contribute to Migilint/vscode-verilog-linter development by creating an account on GitHub.

GitHub
Release 2.0.0 · cocotb/cocotb

Release notes: https://docs.cocotb.org/en/v2.0.0/release_notes.html PyPI release: https://pypi.org/project/cocotb/2.0.0

GitHub

I'm playing with open source simulators again. Verilator and GTKWave still seem to be the masters of the space. I used to use IcarusVerilog for simulating, but Verilator is much faster.

Analog values on a bus are always good visuals for debugging things. I learned to use this mode when trying to visually qualify k characters on a serial link.

This screenshot is the output of an LFSR block with a 16bit polynomial resulting in a 64k value space.

#SystemVerilog
#Verilator
#Simulation

Набрасываем на Verilator

Эта статья не является прямым продолжение статьи Время собирать пакеты , но затрагивает связанные темы. Учимся создавать артефакты в рамках концепции Инфраструктура как Артефакт. Будем разворачивать Verilator в Kubernetes.

https://habr.com/ru/articles/890004/

#verilator #kubernetes

Набрасываем на Verilator

Эта статья не является прямым продолжение статьи Время собирать пакеты , но затрагивает связанные темы. Учимся создавать артефакты в рамках концепции Инфраструктура как Артефакт. Будем разворачивать...

Хабр

Из студентов в инженеры: как перестать бояться и полюбить системную верификацию

Привет, Хабр! На связи Михаил Степанов, инженер в группе функциональной верификации YADRO. Еще в прошлом году мы с моим коллегой Романом Казаченко участвовали в хакатоне по разработке микропроцессоров как студенты, а сейчас — помогаем с задачами для SoC Design Challenge как сотрудники компании-организатора. В статье расскажем, что ждет участников трека «Системная верификация СнК» в этом году и как подготовиться к этому испытанию. Если вы не планируете участвовать в хакатоне, но вам интересно, как инженеры тестируют системы на кристалле перед запуском в производство, эта статья тоже будет вам полезна. На примере заданий хакатона я кратко объясню, что такое системная верификация, из каких блоков состоят СнК и какие инструменты используются для их тестирования.

https://habr.com/ru/companies/yadro/articles/885854/

#SoC_design #функциональная_верификация #системная_верификация #QEMU #verilog #verilator #система_на_кристалле #хакатон #SoC_Design_Challenge

Из студентов в инженеры: как перестать бояться и полюбить системную верификацию

Привет, Хабр! На связи Михаил Степанов, инженер в группе функциональной верификации YADRO . Еще в прошлом году мы с моим коллегой Романом Казаченко участвовали в хакатоне по разработке...

Хабр