摘要
硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语义的描述既清晰又易理解,从而避免造成语言设计者、用户和实现者对语义的不同理解,影响语言的正确实施和有效使用.
The research of hardware description language and related system verification technique is an important field of electronic design automation presently. In this paper, an structural operational semantics to the subset of VHDL is provided. The results show that the operational semantics description is clear and easy to understand. It can avoid the divergent understanding of VHDL semantics by language designer, user and program compiler, and assure the correct and efficient use of the language.
出处
《浙江大学学报（理学版）》
CAS
CSCD
2004年第4期409-411,419,共4页
Journal of Zhejiang University（Science Edition）
基金
浙江省教育厅资助项目(20010442).
关键词
VHDL
操作语义
转移规则
VHDL
operational semantics
transition rules
