It sounds like hubris, y'all are trying to bat above your league. Metaphorically, it's like the rush to build auto-autos (self-driving cars): the problem is to

It sounds like hubris, y'all are trying to bat above your league. Metaphorically, it's like the rush to build auto-autos (self-driving cars): the problem is too hard. If they had started by trying to make a self-driving golf cart Elaine Herzberg might still be alive. If "verifying hardware is a much more complex task than designing it" (and I don't doubt it) then that is the limiting factor. (Or should be IMO. The liberties taken by software cowboys are bad enough w/o the hardware getting all squirrelly too.)