Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors | IEEE Conference Publication | IEEE Xplore