scientific article; zbMATH DE number 139816

MaRDI QIDQ4028151zbMATH OpenFDO

Authors Howard Barringer, Graham Gough, Brian Monahan

Publication date 28 March 1993

zbMATH Keywords

hardware design languageoperational semanticsreference 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)

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

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)