NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I.

Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima

Browse the full DAC paper archive.