scientific article; zbMATH DE number 139816

MaRDI QIDQ4028151zbMATHFDO

Authors Howard Barringer, Graham Gough, Brian Monahan

Publication date 28 March 1993

zbMATH Keywords

operational semanticshardware design languagereference simulator

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1852174
• Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
• scientific article; zbMATH DE number 750003
• scientific article; zbMATH DE number 2079820
• Semantics and Verification of a Language for Modelling Hardware Architectures

Cited in

(9)

• Simulation of operational semantics of machine instructions
• Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
• scientific article; zbMATH DE number 2079820 (Why is no real title available?)
• scientific article; zbMATH DE number 1852174 (Why is no real title available?)
• Insertion semantics of VHDL as electronic design languge
• scientific article; zbMATH DE number 139817 (Why is no real title available?)
• SIMD language design using prescriptive semantics
• Structural operational semantics for a portable subset of behavioral VHDL-93
• scientific article; zbMATH DE number 1310108 (Why is no real title available?)

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)