K-time forced simulation: a formal verification technique for IP reuse | IEEE Conference Publication | IEEE Xplore