Tutorial T6: High Level Modeling of Digital Circuits | IEEE Conference Publication | IEEE Xplore