Code generation and analysis for the functional verification of microprocessors | IEEE Conference Publication | IEEE Xplore