An algebraic approach to the VERILOG programming.

DOI10.1007/B11934MaRDI QIDQ5900547zbMATH OpenOpenAlexFDO

Authors He Jifeng

Publication date 30 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11934

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1852174
• scientific article; zbMATH DE number 2079820
• scientific article; zbMATH DE number 1949597
• scientific article; zbMATH DE number 750007
• Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude

Cited in

(13)

• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
• Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
• Semantics and Verification of a Language for Modelling Hardware Architectures
• scientific article; zbMATH DE number 58311 (Why is no real title available?)
• Relating Event and Trace Semantics of Hardware Description Languages
• scientific article; zbMATH DE number 1949597 (Why is no real title available?)
• scientific article; zbMATH DE number 1949639 (Why is no real title available?)
• scientific article; zbMATH DE number 1487724 (Why is no real title available?)
• scientific article; zbMATH DE number 1497778 (Why is no real title available?)
• scientific article; zbMATH DE number 1852174 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Correct hardware synthesis

This page was built for publication: An algebraic approach to the VERILOG programming.

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