Provably Correct Development of reconfigurable hardware designs via equational reasoning | IEEE Conference Publication | IEEE Xplore