Mining Latency Guarantees for RTL Designs | IEEE Conference Publication | IEEE Xplore