[bluGill]

true, but most people doing hardware are doing formal designs and prove their work correct. While the proofs are not perfect, there are a lot less bugs. The cost of fixing bugs in hardware is a lot more than software, so it is seen as worth it.

Of course the cost of doing the above is one reason we don't do everything in hardware. If you have the money you could implement everything people do with computers in hardware, no software - I don't even want to think about the cost.

[dmd]

> most people doing hardware are doing formal designs and prove their work correct.

My god how I wish that were true.

[heurisko]

I have experience working with IoT hardware, there were a fair few bugs, in an apparently constrained domain.

One including a datatype mismatch, that was also a bug in the specification.