scientific article; zbMATH DE number 750003

zbMATH Open0824.68006MaRDI QIDQ4764183FDOQ4764183

Authors:

Publication date: 1 May 1995

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

Recommendations

• scientific article; zbMATH DE number 1260557
• scientific article; zbMATH DE number 107991
• scientific article; zbMATH DE number 107989

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)

• Insertion semantics of VHDL as electronic design languge
• Title not available (Why is that?)
• System Semantics and formal circuit description
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structural operational semantics for a portable subset of behavioral VHDL-93
• Title not available (Why is that?)
• Correct Hardware Design and Verification Methods

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)