Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93
Formal Methods in System Design
Evaluating possibilities for formally sound simulation and verification of VHDL
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Hi-index | 0.00 |