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

DOI10.1023/A:1008786720393MaRDI QIDQ5929100zbMATH OpenFDO

Authors Krishnaprasad Thirunarayan, Robert L. Ewing

Publication date 2 July 2001

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1008786720393

zbMATH Keywords

structural operational semantics

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• From operational semantics to denotational semantics for Verilog
• scientific article; zbMATH DE number 1497778
• scientific article; zbMATH DE number 139816
• Structural operational semantics through context-dependent behaviour
• scientific article; zbMATH DE number 750003
• A structural approach to operational semantics
• Structuring operational semantics: simplification and computation
• Executable structural operational semantics in Maude
• Combining operational semantics, logic programming and literate programming in the specification and animation of the Verilog hardware description language

Cited in

(2)

• Checking safety properties of behavioral VHDL descriptions by abstract interpretation
• Soundness, completeness and non-redundancy of operational semantics for Verilog based on denotational semantics

This page was built for publication: Structural operational semantics for a portable subset of behavioral VHDL-93

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5929100)