Verification of Generated RTL from P4 Source Code | IEEE Conference Publication | IEEE Xplore