But in this case the job of the hardware is to prevent the software from doing t...

scraptor on Feb 23, 2023 | parent | context | favorite | on: AMD CEO: The Next Challenge Is Energy Efficiency

But in this case the job of the hardware is to prevent the software from doing things, and it pays a constant overhead to do so whereas static verification as integrated into a compiler would be a one-time cost.