Integrated Verification Approach during ADL-Driven Processor Design | IEEE Conference Publication | IEEE Xplore