RTL semantics and methodology | IEEE Conference Publication | IEEE Xplore