1. A machine model for line-rate programmable switches. https://github.com/packet-transactions/banzai. A machine model for line-rate programmable switches. https://github.com/packet-transactions/banzai.
2. Broadcom Jericho2. https://www.broadcom.com/products/ethernet-connectivity/switching/stratadnx/bcm88690. Broadcom Jericho2. https://www.broadcom.com/products/ethernet-connectivity/switching/stratadnx/bcm88690.
3. Broadcom Trident 4. https://www.broadcom.com/products/ethernet-connectivity/switching/strataxgs/bcm56880-series. Broadcom Trident 4. https://www.broadcom.com/products/ethernet-connectivity/switching/strataxgs/bcm56880-series.
4. Cavium Xpliant. https://www.marvell.com/content/dam/marvell/en/public-collateral/embedded-processors/marvell-embedded-processors-programmable-switches-cnx880xx-product-brief-2015.pdf. Cavium Xpliant. https://www.marvell.com/content/dam/marvell/en/public-collateral/embedded-processors/marvell-embedded-processors-programmable-switches-cnx880xx-product-brief-2015.pdf.
5. Cisco Silicon One. https://www.cisco.com/c/en/us/solutions/silicon-one.html#~breakthrough-innovation. Cisco Silicon One. https://www.cisco.com/c/en/us/solutions/silicon-one.html#~breakthrough-innovation.