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
Three Decades of HDLs: Part II, Conlan Through Verilog
IEEE Design & Test
System on Chip Specification and Design Languages Standardization
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Formal verification of timing conditions
EURO-DAC '90 Proceedings of the conference on European design automation
Hardware description languages
Encyclopedia of Computer Science
Hi-index | 0.00 |