scientific article; zbMATH DE number 514046

MaRDI QIDQ4281998zbMATH OpenFDO

Authors Jørgen Staunstrup

Publication date 16 February 1994

zbMATH Keywords

silicon compilersVHDL language

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07)

Recommendations

• Practical formal methods for hardware design
• scientific article; zbMATH DE number 2165684
• scientific article; zbMATH DE number 1216202
• scientific article; zbMATH DE number 2080912
• Introduction to formal hardware verification
• scientific article; zbMATH DE number 732939
• scientific article; zbMATH DE number 48334

Cited in

(9)

• Semantics of digital circuits
• Verifying a distributed list system: A case history
• Higher-level hardware synthesis.
• scientific article; zbMATH DE number 4033043 (Why is no real title available?)
• scientific article; zbMATH DE number 48334 (Why is no real title available?)
• scientific article; zbMATH DE number 711039 (Why is no real title available?)
• Abstraction of hardware construction
• scientific article; zbMATH DE number 890352 (Why is no real title available?)
• Deductive verification of modular systems

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