NES: the behavioral model for the formal semantics of a hardware design language UDL/I
N. Ishiura, Hiroto Yasuura, S. Yajima · 2002
A new behavioral model of hardware, the NES (nondeterministic event sequence) model, is described. It was developed for the purpose of defining formal semantics of the gate level and the register transfer level hardware description languages. The NES model is a generalization of event driven simulation and can be a basis of synthesis and verification as well as simulation. Basic concepts, formal definition, and a description method of the NES model are introduced.>