NES: the behavioral model for the formal semantics of a hardware design language UDL/I | IEEE Conference Publication | IEEE Xplore