Circuit Compression Based on Similarity for RTL ATPG

来源 :湖南大学学报(自然科学版) | 被引量 : 0次 | 上传用户:caoyi1014
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
对任意矩阵X,X(X′X)^-X′与广义逆(X′X)^-的选取无关,且有X=X(X′X)^-X′X,X′=X′X(X′X)^-X′.本文拓展了上述结果,证明了对任意正定阵V,X(X′V“X)^-X′V“与广义逆(X′V^-1X)^-的选取无关
作者收集十年来收治的54例食管贲门癌患者资料进行分析。结果表明:肿瘤分布以食管中段为多(48.14%),贲门次之(29.63%),手术切除率达79.63%(43/54)。术后并发症共六种12例(22.22%),以肺功能不全及吻合口瘘较为常见。手术死亡
审稿是学术论文发表过程中的重要环节,审稿的目的就是要保证刊物的质量。本文对科技期刊产生审稿偏倚的原因进行了全面分析,并提出了相应的对策。
提出用Uδ标幺值系统来构造汽轮发电机基本参数数学模型,从而用汽轮发电机基本参数数学模型进行参数辨识时转子侧电流、电压的基值选择与待辨识参数xad,xaq无关,并减少了两个待辨识参数
主要介绍了一种提高距离保护基频分量估计计算法速度和精度的新方法,该方法采用递推全周富氏算法,实现微机距离保护在1段范围内采用“反时限动特性”;采用网络处理方式消除衰减周
通过分析马德隆常数的三种计算方法和其相应的使用范围,得出不同晶体结构下相应的计算方法和使用范围.
对非线性的费用函数利用线性化方法求解进行了探讨,研究了线性化过程对排放口规划结果的影响因素,得出区间划分、分段次数,参数大小均有不同影响程度的结论。
通过构造适当的概率模型,并结合凸函数的性质,运用概率论方法证明了一些著名不等式.
研究了广义时滞系统的能控性,给出其能控的充要条件。
对南阳市城市绿化中存在的问题予以阐述,提出了改进的对策建议。