Tag Archives: reblog

Formal verification

Others have gone here before me, and now it is my turn! Formal verification is a tool for verifying the correctness of your implementation. Traditional verification strategies have relied on hand-crafted testbenches to provide stimuli to the DUT. Formal verification aims to automate that process.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.

greenblat/vlsistuff

vlsistuff ideas and eda software for vlsi design genver: macro preprossor on verilog files, to aid in writing long verilog structures. synlib: turning liberty format files into what You need: simulation and more. vcd_python: reading vcd files and making sense out of them.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.

Brilliant Brick Prototyping

Have a rusty collection of protoboards wired together that would benefit from mechanical support? Working on putting together a robot and need to attach PCBAs without drilling holes, zipping a cable tie, or globing hot glue? Add some stud holes with [James Munns]’ Brick Mount! This isn’t the fir

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.