Sanjana·3d agoStop Writing Testbenches, Start Writing Properties: An SVA TutorialIn digital design, we often treat verification like a game of whack-a-mole. We write a testbench, drive some inputs, look at the waveform…
Siddhapura Yash·Oct 10Building a 3D Raycasting Engine from Scratch in Pure SystemVeriloghey, so quick story. i wanted to know what happens when you take a graphics algorithm, the kind that normally lives in c code or on a gpu…
Ashutosh Singhal·Aug 21Eight Green Formal Proofs Became Five Fileable Ones When I Audited the SystemVerilog AssertionsBuilding a synthetic tape-out sign-off board changed my view of what an AI-authored SVA proof has to show before review.
Jaivardhangjain·Aug 15AXI-Lite to Wishbone Converters Pt. 1: FoundationsRecently, as part of a chip-design club, I worked with a team of digital design engineers to build an AXI-Lite to Wishbone converter module…
AICLAB·Aug 8The Complete Guide to Hardware Pipeline Design with Backpressure: Ready/Valid Handshake ExplainedPipelining is the first tool most hardware engineers reach for when a design cannot meet its timing target. Splitting a long computation…
