Efficient Verification of Timing-Related Network Functions in High-Speed Hardware | IEEE Conference Publication | IEEE Xplore