An algebraic approach to the VERILOG programming

He Jifeng

doi:10.1007/978-3-540-40007-3_5

An algebraic approach to the VERILOG programming

He Jifeng

Software Engineering Institute

United Nations University Institute in Macau

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

Abstract

The semantics of a hardware description language is usually given in terms of how a simulator should behave. This paper adopts a different strategy by first listing a collection of equational laws expressing algebraic properties of VERILOG programs. It outlines some techniques of formal derivation of operational model and denotational presentation of the language VERILOG from its algebraic definition.

Original language	English
Pages (from-to)	65-80
Number of pages	16
Journal	Lecture Notes in Computer Science
Volume	2757
DOIs	https://doi.org/10.1007/978-3-540-40007-3_5
State	Published - 2003

Access to Document

10.1007/978-3-540-40007-3_5

Cite this

@article{9e7b993bf7b841c0a36a26f4c977ef24,

title = "An algebraic approach to the VERILOG programming",

abstract = "The semantics of a hardware description language is usually given in terms of how a simulator should behave. This paper adopts a different strategy by first listing a collection of equational laws expressing algebraic properties of VERILOG programs. It outlines some techniques of formal derivation of operational model and denotational presentation of the language VERILOG from its algebraic definition.",

author = "He Jifeng",

year = "2003",

doi = "10.1007/978-3-540-40007-3\_5",

language = "英语",

volume = "2757",

pages = "65--80",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - An algebraic approach to the VERILOG programming

AU - Jifeng, He

PY - 2003

Y1 - 2003

N2 - The semantics of a hardware description language is usually given in terms of how a simulator should behave. This paper adopts a different strategy by first listing a collection of equational laws expressing algebraic properties of VERILOG programs. It outlines some techniques of formal derivation of operational model and denotational presentation of the language VERILOG from its algebraic definition.

AB - The semantics of a hardware description language is usually given in terms of how a simulator should behave. This paper adopts a different strategy by first listing a collection of equational laws expressing algebraic properties of VERILOG programs. It outlines some techniques of formal derivation of operational model and denotational presentation of the language VERILOG from its algebraic definition.

UR - https://www.scopus.com/pages/publications/35248863558

U2 - 10.1007/978-3-540-40007-3_5

DO - 10.1007/978-3-540-40007-3_5

M3 - 文章

AN - SCOPUS:35248863558

SN - 0302-9743

VL - 2757

SP - 65

EP - 80

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

An algebraic approach to the VERILOG programming

Abstract

Access to Document

Other files and links

Fingerprint

Cite this