IPXACT-Based RTL Generation Tool | IEEE Conference Publication | IEEE Xplore