Characterizing speed-independence of high-level designs | IEEE Conference Publication | IEEE Xplore