Leveraging Processor Modeling and Verification for General Hardware Modules | IEEE Conference Publication | IEEE Xplore