On the use of hierarchy in timing verification with statically sensitizable paths | IEEE Conference Publication | IEEE Xplore