Had they used random constrained testing (property based testing/quickcheck for the HW world) on the HDL for their design, this likely wouldn't have gotten past even the initial review phase.