TY - GEN
T1 - NES
T2 - 27th ACM/IEEE Design Automation Conference
AU - Ishiura, Nagisa
AU - Yasuura, Hirota
AU - Yajima, Shuzo
PY - 1990
Y1 - 1990
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0025532131&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0025532131&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0025532131
SN - 081869650X
T3 - 27th ACM/IEEE Design Automation Conference. Proceedings 1990
SP - 8
EP - 13
BT - 27th ACM/IEEE Design Automation Conference. Proceedings 1990
PB - Publ by IEEE
Y2 - 24 June 1990 through 28 June 1990
ER -