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

Fingerprint

Computer aided design
Semantics
Hardware
Computer hardware
Application specific integrated circuits
Standardization
Simulators
Engineers

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Electrical and Electronic Engineering

Cite this

Yasuura, H., & Ishiura, N. (1990). Formal semantics of UDL/I and its applications to CAD/DA tools. In Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors (pp. 90-94). Publ by IEEE.

Formal semantics of UDL/I and its applications to CAD/DA tools. / Yasuura, Hiroto; Ishiura, Nagisa.

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors. Publ by IEEE, 1990. p. 90-94.

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

Yasuura, H & Ishiura, N 1990, Formal semantics of UDL/I and its applications to CAD/DA tools. in Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors. Publ by IEEE, pp. 90-94, Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors - ICCD '90, Cambridge, MA, USA, 9/17/90.
Yasuura H, Ishiura N. Formal semantics of UDL/I and its applications to CAD/DA tools. In Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors. Publ by IEEE. 1990. p. 90-94
Yasuura, Hiroto ; Ishiura, Nagisa. / Formal semantics of UDL/I and its applications to CAD/DA tools. Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors. Publ by IEEE, 1990. pp. 90-94
@inproceedings{cba814894b234ed2a1ca80e8095be855,
title = "Formal semantics of UDL/I and its applications to CAD/DA tools",
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.",
author = "Hiroto Yasuura and Nagisa Ishiura",
year = "1990",
month = "9",
language = "English",
isbn = "O81862079X",
pages = "90--94",
booktitle = "Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors",
publisher = "Publ by IEEE",

}

TY - GEN

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

AU - Yasuura, Hiroto

AU - Ishiura, Nagisa

PY - 1990/9

Y1 - 1990/9

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0025487081&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025487081&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0025487081

SN - O81862079X

SP - 90

EP - 94

BT - Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

PB - Publ by IEEE

ER -