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

Nagisa Ishiura, Hiroto Yasuura, Shuzo Yajima. NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I. In DAC. pages 8-13, 1990. [doi]

Abstract

Abstract is missing.