https://mindmodemedia.com/provably-correct-ethernet-electronic-design/