Verifying firewall circuits by wave-pipelined operations | IEEE Conference Publication | IEEE Xplore