Combining imperative and declarative hardware descriptions | IEEE Conference Publication | IEEE Xplore