Teaching digital electronics courses using high-level synthesis tools | IEEE Conference Publication | IEEE Xplore