Synthesis of memories from behavioral HDLs | IEEE Conference Publication | IEEE Xplore