Structural operational semantics for a portable subset of behavioral VHDL-93

Krishnaprasad Thirunarayan; Robert L. Ewing

doi:10.1023/A:1008786720393

Structural operational semantics for a portable subset of behavioral VHDL-93

Krishnaprasad Thirunarayan, Robert L. Ewing

Wright State University

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

Original language	English
Pages (from-to)	69-88
Number of pages	20
Journal	Formal Methods in System Design
Volume	18
Issue number	1
DOIs	https://doi.org/10.1023/A:1008786720393
State	Published - Jan 1 2001

ASJC Scopus Subject Areas

Software
Theoretical Computer Science
Hardware and Architecture

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.1023/A:1008786720393

Cite this

@article{b63950d2d3554e249db1e64c3900420a,

title = "Structural operational semantics for a portable subset of behavioral VHDL-93",

author = "Krishnaprasad Thirunarayan and Ewing, {Robert L.}",

year = "2001",

month = jan,

day = "1",

doi = "10.1023/A:1008786720393",

language = "English",

volume = "18",

pages = "69--88",

journal = "Formal Methods in System Design",

issn = "0925-9856",

number = "1",

}

TY - JOUR

T1 - Structural operational semantics for a portable subset of behavioral VHDL-93

AU - Thirunarayan, Krishnaprasad

AU - Ewing, Robert L.

PY - 2001/1/1

Y1 - 2001/1/1

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

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

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

U2 - 10.1023/A:1008786720393

DO - 10.1023/A:1008786720393

M3 - Article

AN - SCOPUS:0035137537

SN - 0925-9856

VL - 18

SP - 69

EP - 88

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -

Structural operational semantics for a portable subset of behavioral VHDL-93

ASJC Scopus Subject Areas

Disciplines

Access to Document

Other files and links

Cite this