High-level synthesis of digital circuits by finding fixpoints | IEEE Conference Publication | IEEE Xplore