Reusable and flexible verification methodology from architecture to RTL design | IEEE Conference Publication | IEEE Xplore