Distributed control in testable high-level synthesis with low area and power overhead | IEEE Conference Publication | IEEE Xplore