Model-based hardware design | IEEE Conference Publication | IEEE Xplore