多媒体数字处理芯片W99711的静态验证
被引量：1
摘要
本文以多媒体处理数字芯片W99711为例,详细描述了静态验证在W99711中的应用。
出处
《计算机与信息技术》
2006年第Z1期55-58,共4页
Computer & Information Technology
二级参考文献2
-
1Musgrave G etal. User Experience with High Level Formal Verification. In:ACM Proceedings of the35th Design Automation Conference.San Francisco : ACM, 1998 : 327.
-
2Barual Tuck..Deep Submicron Changes the Face of Verification[J].Computer Design, 1995 ( 10 ) : 20.
二级引证文献4
-
1王国裕,李良威,陆明莹,张红升.数字音频广播基带解码芯片后端设计中的时序收敛方案[J].电子质量,2012(2):5-7.
-
2高文辉,胥志毅,邬天恺,刘文江,仲景尼.异步时钟亚稳态仿真方法[J].信息技术,2012,36(10):167-169. 被引量：1
-
3张丽,沈剑良,李沛杰.RapidIO交换芯片的静态时序约束设计[J].现代电子技术,2023,46(4):1-6. 被引量：1
-
4王涛,赵启林.一种数据存储SoC芯片的静态时序约束设计[J].单片机与嵌入式系统应用,2023,23(8):8-10.
