CAV12 vs. Power

Contents

As the CAV’12 model is experimentally equivalent to our model, except for a few test which are not observed on hardware (see this document), the experimental comparison of our model with Power hardware applies.

We thus here only emphasize that the experiments that invalidate the PLDI’11 model do not invalidate the CAV’12 model.

This document was translated from L^AT_EX by H^EV^EA.