On dynamic switching of navigation for semi-formal design validation | IEEE Conference Publication | IEEE Xplore