Just-in-Time Verification in ADL-based processor design | IEEE Conference Publication | IEEE Xplore