Scalar replacement in the presence of multiple write accesses for high-level synthesis | IEEE Conference Publication | IEEE Xplore