摘 要:硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题，通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述，结果表明其操作语义的描述既清晰又易理解，从而避免造成语言设计者、用户和实现者对语义的不同理解，影响语言的正确实施和有效使用。……
