[stonemetal12]

I doubt it. Special purpose hardware is usually more efficient than a software implementation running on general purpose hardware.

[scraptor]

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.