News for hackers. Stuff that matters.

avnd

Show HN: Penguin-rtl – Verilog equivalence checking locally in the browser

https://penguin-rtl.arjunv.net/

Hi HN! I made this little web app for formal equivalence checking of Verilog that runs totally locally in the browser.I initially wrote it for myself to (confidently) rewrite clumps of combinational logic. The idea is that the same logic can be implemented in many ways, but not all will map optimally to FPGA resources.This is also something I wish I had during my digital design class, so I'd be...

( Read More... | no comments | on HN )
Re:Python Logic Simulation Library on Monday November 11, 2024 @12:32AM (#42104770)
Pretty cool! Have you heard of PyRTL?

https://ucsbarchlab.github.io/PyRTL/

Re:Blinky on Pi 4B with Bare Metal Rust on Monday September 02, 2024 @01:44PM (#41427369)
This was a blog I wrote last year while I was in college!

I want to work on UART over GPIO next, and would love any feedback on my first post!

Some resources on the topic I found helpful: - https://github.com/rust-embedded/rust-raspberrypi-OS-tutoria... - https://wiki.osdev.org/Raspberry_Pi_Bare_Bones_Rust - https://harmonicss.co.uk/rust/rust-on-a-raspberry-pi-part-1/ - https://www.rpi4os.com/

That’s a very ambitious project to say the least and I’ll bite! Please elaborate

Also, have you checked out the OpenROAD[1] project? It’s a pretty impressive open source RTL to GDSII flow.

I went to their most recent meetup at DAC’24 and there’s a great community around the project.

[1] https://theopenroadproject.org/

Re:Show HN: HackerNews but for research papers on Thursday May 23, 2024 @11:21AM (#40455825)
I work at an FPGA company so anything FPGA-related would be cool :)

To capture the most popular topics, you can grab the topics of the top N most attended academic conferences as a starting point

Re:Show HN: HackerNews but for research papers on Thursday May 23, 2024 @11:14AM (#40455733)
Cool! Have you considered tagging/sub-categorizing? That would be helpful to organize topics.

I’ve often seen papers have a list of keywords somewhere on the first page that could be helpful for indexing

The open source tooling isn’t perfect but it’s growing fast! I work in this space and recommend checking out the OpenROAD[1] project, which has full synthesis and pnr for select FPGAs.

[1] https://theopenroadproject.org/