Area-time high level synthesis laws: theory and practice | IEEE Conference Publication | IEEE Xplore