Relating Event and Trace Semantics of Hardware Description Languages

DOI10.1093/comjnl/45.1.27zbMath1008.68027OpenAlexW1964110193MaRDI QIDQ4328965

Michael J. C. Gordon

Publication date: 6 April 2003

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/45.1.27

zbMATH Keywords

hardware description languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computer system organization (68M99)

Related Items (2)

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude ⋮ Theoretical and practical approaches to the denotational semantics for MDESL based on UTP

This page was built for publication: Relating Event and Trace Semantics of Hardware Description Languages