The Hardware-Software Co-design and Co-verification of SoC for an Embedded Home Gateway | IEEE Conference Publication | IEEE Xplore