Distributed design-space exploration for high-level synthesis systems | IEEE Conference Publication | IEEE Xplore