CPU designers are so professional about verification and specification that they _dwarf_ software. There's just no comparison.