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 applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized Lis
其他文献
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
延宕多时的北京CBD“中服地块”终于挂牌入市,但是,其挂牌条件却引来炮轰。1月29日上午,北京市土地储备中心网站挂出“中服地块”出让公告,公告显示,竞买人须为金融机构与房地产企
To efficiently utilize the limited computational resource in real-time sensor networks, this paper focuses on the challenge of computational resource allocation
外语教师的课堂提问作为课堂话语的一个重要组成部分,在外语界正受到普遍的关注。通过介绍此领域的相关研究成果并基于多年的EFL教学经验,对提问行为进行了观察与分析,客观展
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
大学物理实验教学是高校基础教学的重点,是培养学生综合能力、创造力的重要途径。从不同角度结合教学实际对中乌两国的大学物理实验教学体制、教学内容、教学方式等进行多方面
从图书馆的地位、思想政治教育的内容、馆员的素质、馆风建设等方面论述了高校图书馆在思想政治教育方面所发挥的重要作用。
A novel frequency synchronization scheme for orthogonal frequency division multiplexing (OFDM) systems is proposed, including a novel frequency offset estimatio
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