The key is that the "formal verification" methods[0] the author is describing are still novel in the hardware industry, especially involving "human readable" IS

The key is that the "formal verification" methods[0] the author is describing are still novel in the hardware industry, especially involving "human readable" ISA specifications and HDL's. [0] https://embedded.eecs.berkeley.edu/research/vis/doc/VisUser/vis_user/node4.html https://embedded.eecs.berkeley.edu/research/vis/doc/VisUser/...