scientific article

zbMATH Open0794.68097MaRDI QIDQ4028151FDOQ4028151

Howard Barringer, Graham Gough, Brian Monahan

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

operational semanticshardware design languagereference simulator

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cited In (8)

• Insertion semantics of VHDL as electronic design languge
• Title not available (Why is that?)
• SIMD language design using prescriptive semantics
• Title not available (Why is that?)
• Simulation of operational semantics of machine instructions
• Structural operational semantics for a portable subset of behavioral VHDL-93
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Semantics and Verification of a Language for Modelling Hardware Architectures 👍 👎

This page was built for publication:

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