Teaching digital electronics courses using high-level synthesis tools | Publicación