Framer design, verification and prototyping for G.709 optical transport networks | IEEE Conference Publication | IEEE Xplore