Sik Kim, Kwang-Hyun Cho, Byeong Min: An efficient GPIO block design methodology using formalized SFR description. ISOCC 2011: 84-87