期刊文献+

基于FPGA的亚稳态参数测量方法 被引量:5

Metastable Parameter Measurement Method Based on FPGA
在线阅读 下载PDF
导出
摘要 由于FPGA在高安全领域应用中需对跨时钟域电路可靠性(MTBF)进行评估,而亚稳态参数τ值是影响跨时钟域电路MTBF的关键参数.本文提出一种步进式测量FPGA器件亚稳态参数τ值的方法;然后以FPGA内部的数字时间管理模块为基础设计测试电路.通过对典型FPGA芯片进行实验,结果分析表明采用该方法能够有效测试出FPGA亚稳态参数τ和T_w值,且操作简便快捷. Due to the FPGA necessary to evaluate the reliability of clock domain circuit in safe-critical applications. Metastable parameter τ is a key parameter to influence the clock domain circuit's MTBF value. This paper first put forward a step-down method to measure the FPGA device's metastable parameters τ. Then design the test circuit which use the internal FPGA digital time management module. The experiment result which based on the typical FPGA chip shows that the step-down method can effectively test the FPGA metastable parameterτ and Tw, and is easy and convenient to operation.
出处 《微电子学与计算机》 CSCD 北大核心 2016年第10期46-49,共4页 Microelectronics & Computer
基金 国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120) 天津市自然科学基金联合资助项目(15JCQNJC42800) 民航科技创新引导资金重大专项项目(MHRD20140103) 中央高校基本科研业务费项目(3122014C025)
关键词 FPGA 亚稳态 CDC DCM FPGA metastable CDC DCM
  • 相关文献

参考文献11

  • 1孙黎,张涛,王相阳.基于ATE的FPGA亚稳态的激发与验证[J].计算机测量与控制,2014,22(11):3647-3649. 被引量:2
  • 2杨岩岩,司倩然,马贤颖,杨少敏.FPGA设计中的亚稳态问题及其预防方法研究[J].飞行器测控学报,2014,33(3):208-213. 被引量:12
  • 3Doris Chen, Deshanand Singh, Jeffrey Chromczak. A comprehensive approach to modeling, characterizing and optimizing for metastability in FPGAs[C]// Sym- posium on Field Programmable Gate Arrays, FPGA 2010. Monterey, USA, 2010 : 167-176.
  • 4Rogina B M, Skoda P, Skala K, et al. Metastability testing at FPGA circuit design using propagation time characterization[C]//East-West Design and Test Sym- posiun'~ Russia,Petersburg, 2010:80-85.
  • 5Wu J, Ma Y, Zhang J, et al. Research onmetastability based on FPGA[C]// Electronic Measurement & In- struments, 2009.ICEMI'09. 9th International Confer- ence on IEEE. China,Beijing, 2009 : 741-745.
  • 6Cart I. Time loss through gating of asynchronous logic single pulses[J].Transactions on Eletronic Comput- ers, 1966,15(1) :108-111.
  • 7冯毅,许经纬,易江芳,佟冬,程旭.面向模型检验的跨时钟域设计电路特性生成方法[J].电子学报,2009,37(2):258-265. 被引量:2
  • 8leeman L, Cantoni A. Metastable behavior in digital systems, design and test of computers[J]. Design and Test of Computers, 1987, 4(6) : 4-19.
  • 9汪路元.FPGA设计中的亚稳态及其缓解措施[J].电子技术应用,2012,38(8):13-15. 被引量:19
  • 10Ran Ginosar, Micheal Priel, Rostislav Dobkin. The devolution of synchronizers[C]// IEEE Symposium on Asynchronous Circuits ~> Systems. IEEE Computer Society. Beijing, 2010:94-103.

二级参考文献33

  • 1潘曙娟,钟杰.基于ATE的IC测试原理、方法及故障分析[J].Journal of Semiconductors,2006,27(Z1):354-357.
  • 2Intel Corporation. Intel CE 2110 media processor[DB/OL]. http://www. intelconsumerelectronics. com/Technologies/ CE2110. aspx,2007 - 04 - 17/2007 - 12 - 27.
  • 3Charles Dike, Edward Burton. Miller and noise effects in a synchronizing flip-flop[ J ]. IEEE Journal of Solid-State Circuits, 1999,34(6) :849 - 855.
  • 4Rolf Drechsler. Advanced Formal Verification [ M ]. Norwell: Kluwer Academic Publishers, 2004.
  • 5Feng Yi, Zhou Zheng, Tong Dong, Cheng Xu. Clock domain crossing fault model and coverage metrics for validation of SoC design[ A]. Design, Automation & Test in Europe Conference & Exhibition[C]. San Jose: EDA Consortium, 2007. 1385 - 1390.
  • 6William K Lam. Hardware Design Verification: Simulation and Formal Method-Based Approaches [ M ]. Indiana: Prentice Hall PTR, 2005.
  • 7Y Hoskote, T Kam, PH Ho, X Zhao. Coverage estimation for symbolic model checking[ A ]. Proceedings of the 36th ACM/ IEEE Conference on Design Automation [ C ]. New York: ACM, 1999. 300 - 305.
  • 8KL McMillan. Verification of infinite state systems by compositional model checking[A]. Correct Hardware Design and Verification Methods[ C ]. Heidelberg: Springer, 1999. 219 - 234.
  • 9Tai Ly, Neil Hand, Chris Ka-kei Kwok. Formally verifying clock domain crossing jitter using assertion-based verification [A]. Design and Verification Conference[C]. San Jose: EDA Direct,2004.1 - 5.
  • 10Tsachy Kapschitz, Ran Ginosar. Formal verification of synchronizers[A]. Proceedings of Correct Hardware Design and Verification Methods [ C ]. New York: Springer, 2005. 359 - 362.

共引文献30

同被引文献34

引证文献5

二级引证文献17

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部