检索结果-南通市图书馆

Automatic Circuit Extractor for HDL Description Using Program Slicing

Journal of Computer Science & Technology 2004年第5期19卷 718-728页

作者： tunli yangguo si-kunli SchoolofComputerScienceandTechnology NationalUniversityofDefenseTechnologyChangsha410073P.R.China

Design extraction and reduction have been extensively used in modern VLsi design process. The extracted and reduced design can be efficiently processed by various applications, such as formal verification, simulation, automatic test pattern generation (ATPG), etc. This paper presents a new circuit extraction method using program slicing technique, and develops an elegant theoretical basis based on program slicing for circuit extraction from Verilog description. The technique can obtain a chaining slice for given signals of interest. Compared with related researches, the main advantages of the method include that it is fine grain, it has no hardware description language (HDL) coding style limitation; it is precise and is capable of dealing with various Verilog constructions. The technique has been integrated with a commercial simulation environment and incorporated into a design process. The results of practical designs show the significant benefits of the approach.

关键词： program slicing chaining slice process dependence graph circuit extraction VLsi functional verification

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

面向HDL描述基于程序切片的自动电路抽取技术研究与实现

引用

Journal of Computer Science & Technology 2004年第C期19卷 96-96页

作者： tunli yangguo si-kunli SchoolofComputerScienceandTechnology NationalUniversityofDefenseTechnologyChangsha410073P.R.China

现代集成电路设计复杂性在不断增加，而对整个设计进行验证的效率却太低。因此，在形式化验证和模拟验证时，必须采用不同的技术来对设计中的数据通路部分和控制部分分别加以验证。大多数的验证策略都是通过从HDL设计描述中为感兴趣的... 详细信息

现代集成电路设计复杂性在不断增加，而对整个设计进行验证的效率却太低。因此，在形式化验证和模拟验证时，必须采用不同的技术来对设计中的数据通路部分和控制部分分别加以验证。大多数的验证策略都是通过从HDL设计描述中为感兴趣的部分设计提取出有用的验证信息来实现的。

关键词：程序切片数据通路形式化验证 HDL 描述抽取集成电路设计模拟验证

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：