基于e语言的描述综合和验证的统一框架  

A Uniform Framework for Specification,Synthesis,and Verification Based Language e

作　　者：须自明[1] 王国章[1] 刘战[1] 于宗光[1] 

机构地区：[1]江南大学信息工程学院,江苏无锡214000

出　　处：《固体电子学研究与进展》2007年第1期104-108,共5页Research & Progress of SSE

基　　金：电子元器件可靠性物理及其应用技术科技重点实验室基金赞助(51433020105DZ6801)

摘　　要：首先给出使用面向对象方式对硬件进行描述和验证的统一框架。这个统一的框架涉及了一种面向对象的语言:e语言以及实时环境Specman EliteTM。然后介绍了使用e语言进行硬件模块描述、综合和验证,最后通过例子得出基于e语言进行构建统一框架的优点。First, a uniform framework for specification and verification of hardware will be presented. For this purpose the object oriented language e is introduced along with a run-time environment Specman EliteTM. Then, a hardware specification, synthesis and verification based language e will be presented. The benefit of using language e will be presented with an example.

关 键 词：E语言 描述 综合 验证 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]