Formal semantics of UDL/I and its applications to CAD/DA tools

Author

Yasuura, Hiroto ; Ishiura, Nagisa

Author_Institution

Kyoto Univ., Japan

fYear

1990

fDate

17-19 Sep 1990

Firstpage

90

Lastpage

94

Abstract

UDL/I is a hardware design language for ASIC design developed in a Japanese LSI design language standardization project. A formal semantics of UDL/I is presented. There is no established way to define semantics of hardware design languages, because there is no general computation model for them. A definition method of formal semantics for UDL/I and semantics suitable for a standard language are developed. The basic idea is that the semantics of the language should be defined independently of simulators. The language provides an abstract model of hardware. The role of the language designer is to provide an abstract model of hardware which is natural and general for hardware designers and CAD engineers. The authors introduce a novel behavior model of hardware and define the semantics with a nondeterministic feature

Keywords

circuit CAD; specification languages; ASIC design; CAD/DA tools; Japanese LSI design language; UDL/I; behavior model; formal semantics; hardware design language; standardization project; Application specific integrated circuits; Computational modeling; Design automation; Hardware design languages; Information science; Logic design; Mathematical model; Natural languages; Parallel processing; Standards development;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings, 1990 IEEE International Conference on

Conference_Location

Cambridge, MA

Print_ISBN

0-8186-2079-X

Type

conf

DOI

10.1109/ICCD.1990.130288

Filename

130288