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

Hiroto Yasuura, Nagisa Ishiura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

UDL/I is a hardware design language for ASIC design developed in 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 hardware design languages. 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 nondeterministic feature.

Original languageEnglish
Title of host publicationProceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors
PublisherPubl by IEEE
Pages90-94
Number of pages5
ISBN (Print)O81862079X
Publication statusPublished - Sep 1990
Externally publishedYes
EventProceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors - ICCD '90 - Cambridge, MA, USA
Duration: Sep 17 1990Sep 19 1990

Other

OtherProceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors - ICCD '90
CityCambridge, MA, USA
Period9/17/909/19/90

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Formal semantics of UDL/I and its applications to CAD/DA tools'. Together they form a unique fingerprint.

Cite this