Semantics of a hardware design language for Japanese standardization
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
NES: the behavioral model for the formal semantics of a hardware design language UDL/I
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Subtype concept of VHDL for synthesis constraints
EURO-DAC '92 Proceedings of the conference on European design automation
A classification of design steps and their verification
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Hi-index | 0.00 |