scientific article; zbMATH DE number 750003

MaRDI QIDQ4764183zbMATH OpenFDO

Authors

Publication date 1 May 1995

zbMATH Keywords

formal semanticsFormal semanticsVHDLVHDL language

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55)

Cited in

(8)

• scientific article; zbMATH DE number 139816 (Why is no real title available?)
• scientific article; zbMATH DE number 139806 (Why is no real title available?)
• scientific article; zbMATH DE number 1751928 (Why is no real title available?)
• scientific article; zbMATH DE number 1948412 (Why is no real title available?)
• Insertion semantics of VHDL as electronic design languge
• Correct Hardware Design and Verification Methods
• Structural operational semantics for a portable subset of behavioral VHDL-93
• System Semantics and formal circuit description

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 Q4764183)