A high-level synthesis and verification tool for application specific kth Root Processing Engine | IEEE Conference Publication | IEEE Xplore