A complete specification and implementation methodology for high-level hardware transformations | IEEE Conference Publication | IEEE Xplore