Title :
Formal semantics of UDL/I and its applications to CAD/DA tools
Author :
Yasuura, Hiroto ; Ishiura, Nagisa
Author_Institution :
Kyoto Univ., Japan
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;
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
DOI :
10.1109/ICCD.1990.130288
