An efficient GPIO block design methodology using formalized SFR description | IEEE Conference Publication | IEEE Xplore