I don't agree. I agree that if compare random software project x to a random hardware project y that the hardware project will do a lot more verification. But

I don't agree. I agree that if compare random software project x to a random hardware project y that the hardware project will do a lot more verification. But that doesn't really compare to state of the art of what's possible in software. Property based testing, symbolic execution etc all have incredible power that afaik is not available in the hardware world. I'm just a hobbyist who uses FPGA's but it's way way easier for me to ensure a function has some properties compared to a VHDL module or whatever.