scientific article; zbMATH DE number 139816

zbMATH Open0794.68097MaRDI QIDQ4028151FDOQ4028151

Authors: Howard Barringer, Graham Gough, Brian Monahan 

Publication date: 28 March 1993

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

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

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 (9)

• 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
• Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
• Structural operational semantics for a portable subset of behavioral VHDL-93
• Title not available (Why is that?)
• Title not available (Why is that?)

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)