• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

侯立刚 (侯立刚.) | 朱琳 (朱琳.) | 赵未 (赵未.) | 智景松 (智景松.) | 彭晓宏 (彭晓宏.) | 汪金辉 (汪金辉.)

Indexed by:

CQVIP PKU CSCD

Abstract:

提出了一种针对标准单元库中单元逻辑功能进行自动仿真验证的方法,验证了55nm标准单元库中单元逻辑功能的正确性。该方法能自动提取设计文档中的单元逻辑,根据提取结果中输入端的数量自动生成测试向量,并以此测试向量生成参考逻辑值,整个过程只需0.708μs。采用仿真工具对标准单元库文件进行仿真,将得到的仿真值自动与参考值对比,验证了库单元逻辑的正确性,提高了标准单元库功能验证的效率。

Keyword:

测试向量 逻辑单元 仿真验证 标准单元库

Author Community:

  • [ 1 ] 北京工业大学电子信息与控制工程学院
  • [ 2 ] 北达科他州立大学电子与计算机工程系

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Source :

微电子学

Year: 2017

Issue: 01

Volume: 47

Page: 106-109

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 8

Online/Total:547/10585634
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.