Features supporting system-level specification in HDLs | IEEE Conference Publication | IEEE Xplore