On the Portability of Behavioral VHDL-93

Krishnaprasad Thirunarayan; Robert Ewing

On the Portability 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 shared variables in VHDL-93 that changes the underlying semantic model. In the presence of shared variables, non-deterministic 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.

Original language	American English
State	Published - Oct 1 1996

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

On the Portability of Behavioral VHDL-93Final published version, 553 KBLicense: Unspecified

Cite this

@conference{b1e29975dca94eb9a4f348a50b579e4a,

title = "On the Portability 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 shared variables in VHDL-93 that changes the underlying semantic model. In the presence of shared variables, non-deterministic 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.",

author = "Krishnaprasad Thirunarayan and Robert Ewing",

year = "1996",

month = oct,

day = "1",

language = "American English",

}

TY - CONF

T1 - On the Portability of Behavioral VHDL-93

AU - Thirunarayan, Krishnaprasad

AU - Ewing, Robert

PY - 1996/10/1

Y1 - 1996/10/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 shared variables in VHDL-93 that changes the underlying semantic model. In the presence of shared variables, non-deterministic 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.

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 shared variables in VHDL-93 that changes the underlying semantic model. In the presence of shared variables, non-deterministic 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.

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

M3 - Presentation

ER -

On the Portability of Behavioral VHDL-93

Abstract

Disciplines

Access to Document

Other files and links

Cite this