Hacker News with Generative AI: Verilog

Comparing Two Verilog CPU Implementations Using EBMC (philipzucker.com)
About a year ago my friends and I built a 4bit cpu out of a kit from aliexpress. https://www.philipzucker.com/td4-4bit-cpu/ It’s a lot of fun. I also think the system is so simple that is is kind of a nice target for tinkering around with formal methods.
Hardware, Formal Verification, Verilog
10 points by todsacerdoti 11 days ago | 1 comments
Verilog Copilot that pulls from pre-verified libraries [video] (youtube.com)
Hardware Design, Verilog, AI, Tools, Video
13 points by sathvikr 204 days ago | 7 comments
Verilator: Open-Source SystemVerilog simulator and lint system (github.com/verilator)
Verilog, Simulation, Open Source, Hardware, Software
73 points by cl3misch 284 days ago | 7 comments
Tiny GPU: A minimal GPU implementation in Verilog (github.com/adam-maj)
Hardware, Verilog, Open Source, Embedded Systems
315 points by fgblanch 303 days ago | 73 comments