Characterizing a Portable Subset of Behavioral VHDL-93

Krishnaprasad Thirunarayan; Robert Ewing

doi:10.1007/978-0-387-35064-6_13

Characterizing a Portable Subset of Behavioral VHDL-93

Krishnaprasad Thirunarayan, Robert Ewing

Wright State University

Research output: Contribution to conference › Presentation

Abstract

Goossens defined a structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, nondeterministic execution of VHDL-93 processes destroys the unique meaning property. We identify and characterize a class of portable VHDL-93 descriptions for which unique meaning property can be salvaged. Our specification can serve as a correctness criteria for a VHDL-93 simulator.

Original language	American English
DOIs	https://doi.org/10.1007/978-0-387-35064-6_13
State	Published - Apr 1 1997
Event	Hardware Description Languages and Their Applications - Duration: Apr 1 1997 → …

Conference

Conference	Hardware Description Languages and Their Applications
Period	4/1/97 → …

Keywords

Formal Methods
Hardware Description Languages
Standards
Verification and Validation

Disciplines

Bioinformatics
Communication
Communication Technology and New Media
Computer Sciences
Databases and Information Systems
Life Sciences
OS and Networks
Physical Sciences and Mathematics
Science and Technology Studies
Social and Behavioral Sciences

Access to Document

10.1007/978-0-387-35064-6_13License: Unspecified

Characterizing a Portable Subset of Behavioral VHDL-93Final published version, 256 KBLicense: Unspecified

Cite this

@conference{93923dfe73664c3eada0b89af23cf5d3,

title = "Characterizing a Portable Subset of Behavioral VHDL-93",

abstract = " Goossens defined a structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, nondeterministic execution of VHDL-93 processes destroys the unique meaning property. We identify and characterize a class of portable VHDL-93 descriptions for which unique meaning property can be salvaged. Our specification can serve as a correctness criteria for a VHDL-93 simulator.",

keywords = "Formal Methods, Hardware Description Languages, Standards, Verification and Validation",

author = "Krishnaprasad Thirunarayan and Robert Ewing",

year = "1997",

month = apr,

day = "1",

doi = "10.1007/978-0-387-35064-6_13",

language = "American English",

note = "Hardware Description Languages and Their Applications ; Conference date: 01-04-1997",

}

TY - CONF

T1 - Characterizing a Portable Subset of Behavioral VHDL-93

AU - Thirunarayan, Krishnaprasad

AU - Ewing, Robert

PY - 1997/4/1

Y1 - 1997/4/1

N2 - Goossens defined a structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, nondeterministic execution of VHDL-93 processes destroys the unique meaning property. We identify and characterize a class of portable VHDL-93 descriptions for which unique meaning property can be salvaged. Our specification can serve as a correctness criteria for a VHDL-93 simulator.

AB - Goossens defined a structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, nondeterministic execution of VHDL-93 processes destroys the unique meaning property. We identify and characterize a class of portable VHDL-93 descriptions for which unique meaning property can be salvaged. Our specification can serve as a correctness criteria for a VHDL-93 simulator.

KW - Formal Methods

KW - Hardware Description Languages

KW - Standards

KW - Verification and Validation

UR - https://corescholar.libraries.wright.edu/knoesis/889

U2 - 10.1007/978-0-387-35064-6_13

DO - 10.1007/978-0-387-35064-6_13

M3 - Presentation

T2 - Hardware Description Languages and Their Applications

Y2 - 1 April 1997

ER -

Characterizing a Portable Subset of Behavioral VHDL-93

Abstract

Conference

Keywords

Disciplines

Access to Document

Other files and links

Cite this