Incorporating performance and testability constraints during binding in high-level synthesis | IEEE Journals & Magazine | IEEE Xplore