A new model for verification

来源 :哈尔滨工业大学学报：英文版 | 被引量 : 0次 | 上传用户：shade89

【摘要】

：

Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicab

【作者】

：

杜振军马光胜冯刚

【机构】

：

.SchoolofComputerScience＆Technology,CollegeofComputerScience＆Technology

【出处】

：

哈尔滨工业大学学报：英文版

【发表日期】

：

2007年3期

【关键词】

：

多项式符号操作验证加权广义表模式集成电路设计 polynomial symbolic manipulations verification WGL

【基金项目】

：

Sponsored by the National Natural Science Foundation of China （ Grant No. 69973014 and 60273081 ） and the Natural Science Foundation of Heilongiiang Province （Grant No. F0209） and HEU Foundation （Gran

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized Lis

其他文献

Enhanced piezoelectric properties of Nd^3＋ doped nano-lead zirconate titanate piezoelectric ceramic

Nd3+ doped lead zirconate titanate (Pb1-3x/2NdxZr0.52Ti0.48O3, PNZT) nanopowders were prepared through a modified sol-gel method. The effects of Nd3+ doping on

期刊

PNZTPZT溶胶-凝胶压电特性PNZT PZT sol-gel piezoelectric properties

“准地王”中服地块暗许远洋地产？

延宕多时的北京CBD“中服地块”终于挂牌入市，但是，其挂牌条件却引来炮轰。1月29日上午，北京市土地储备中心网站挂出“中服地块”出让公告，公告显示，竞买人须为金融机构与房地产企

期刊

房地产企业地块土地储备中心金融机构北京CBD北京市联合体竞买人

Adaptive computational resource allocation for sensor networks

To efficiently utilize the limited computational resource in real-time sensor networks, this paper focuses on the challenge of computational resource allocation

期刊

传感器计算机网络资源市场机制sensor networks computational resource allocation market mec

提问行为研究及其在课堂教学中的有效运用

外语教师的课堂提问作为课堂话语的一个重要组成部分,在外语界正受到普遍的关注。通过介绍此领域的相关研究成果并基于多年的EFL教学经验,对提问行为进行了观察与分析,客观展

期刊

提问行为课堂提问提问策略

Target polarization recognition under rain and snow cluster

This paper derives the polarization scattering matrix of both the warship target and the interferential chaff conditioned on the exit of rain and snow cluster,and furthermore,proposes a method to reco

期刊

战舰雷达极化识别雨雪天气目标rain clutter polarization recognition non-linear polarizat

中乌普通物理实验教学的比较

大学物理实验教学是高校基础教学的重点，是培养学生综合能力、创造力的重要途径。从不同角度结合教学实际对中乌两国的大学物理实验教学体制、教学内容、教学方式等进行多方面

期刊

大学物理实验教学教学体制教学内容教学方式university education of university physics experiment e

充分发挥高校图书馆思想政治教育职能

从图书馆的地位、思想政治教育的内容、馆员的素质、馆风建设等方面论述了高校图书馆在思想政治教育方面所发挥的重要作用。

期刊

图书馆思想政治教育library ideological and political education

A novel frequency synchronization scheme for OFDM systems

A novel frequency synchronization scheme for orthogonal frequency division multiplexing (OFDM) systems is proposed, including a novel frequency offset estimatio

期刊

OFDM系统频率同步化虚拟载体MLOFDM systems frequency synchronization virtual carriers

Natural frequencies and damping estimation based on continuous wavelet transform

The continuous wavelet transform(CWT)based method was improved for estimating the natural frequencies and damping ratios of a structural system in this paper.Th

期刊

模式参数连续子波传输最小平方法自然频率modal parameters continuous wavelet transform least squ

Removal of Cryptosporidium sized particle under different filtration temperature, flow rate and alum

期刊

明矾流率过滤温度隐孢子虫属废水处理Cryptosporidium humic acid filtration particle temp

A new model for verification

与本文相关的学术论文