4 ms·
Valgrind is pretty robust and I've seen it integrated into many projects with little fanfare. Unit tests are just simulation runs. I've done VHDL/Verilog and t
by vvanders 7y ago
Valgrind is pretty robust and I've seen it integrated into many projects with little fanfare. Unit tests are just simulation runs.
I've done VHDL/Verilog and tons of software, the HW tools do lag significantly in my experience.
- im_down_w_otp 7y agoValgrind is not in the class of verification tools I was referencing. How does it correlate to VHDL/Verilog in this context? I would expect things like MBD tools, model checkers, and proof assistants, and program extractors to be the software pipeline siblings to the kinds of tools that VHDL/Verilog integrate with.
- vvanders 7y agoIt's a tool to verify the software runs correctly and doesn't double free, write over the heap and a while bunch of failure. Unless you never run simulation and always trust the router? Not everything gets verified 100% in HW, otherwise we wouldn't have silicon errata. It's all a question of how deep you want to go in verification and what your costs are for screwing it up.