Synthesis of high-performance packet processing pipelines | IEEE Conference Publication | IEEE Xplore