Level up in verification: learning from functional snapshots | IEEE Conference Publication | IEEE Xplore