Memories construction algorithms at register-transfer level | IEEE Conference Publication | IEEE Xplore