scientific article; zbMATH DE number 107991

MaRDI QIDQ4023571zbMATH OpenFDO

Authors

Publication date 23 January 1993

zbMATH Keywords

Formal proofsformal verificationHardwarehardware description languagemodellingSimulationsimulationSynthesissynthesissystem level designVHDL

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of programming languages (68N15) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Fault detection; testing in circuits and networks (94C12)

Cited in

(23)

• A VHDL-based HW/SW cosimulation of communication systems
• Insertion semantics of VHDL as electronic design languge
• System-on-chip methodologies \& design languages. 3rd international conference, FDL 2000, Tübingen, Germany, 2000
• Synthesis of systems specified as interacting VHDL processes
• scientific article; zbMATH DE number 4205966 (Why is no real title available?)
• scientific article; zbMATH DE number 51718 (Why is no real title available?)
• scientific article; zbMATH DE number 53622 (Why is no real title available?)
• scientific article; zbMATH DE number 139808 (Why is no real title available?)
• scientific article; zbMATH DE number 1260557 (Why is no real title available?)
• scientific article; zbMATH DE number 1324641 (Why is no real title available?)
• scientific article; zbMATH DE number 486433 (Why is no real title available?)
• scientific article; zbMATH DE number 540184 (Why is no real title available?)
• Relating Event and Trace Semantics of Hardware Description Languages
• scientific article; zbMATH DE number 978903 (Why is no real title available?)
• scientific article; zbMATH DE number 1033731 (Why is no real title available?)
• scientific article; zbMATH DE number 1090792 (Why is no real title available?)
• scientific article; zbMATH DE number 1113196 (Why is no real title available?)
• VHDL Simulation: A Flexible Approach to Verification and Performance Analysis of Communication Protocols
• scientific article; zbMATH DE number 750003 (Why is no real title available?)
• scientific article; zbMATH DE number 2090599 (Why is no real title available?)
• scientific article; zbMATH DE number 811539 (Why is no real title available?)
• scientific article; zbMATH DE number 868111 (Why is no real title available?)
• 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 Q4023571)