静态验证技术相关硕士博士期刊学术论文 - 搜论网

静态验证技术相关论文

数字高清晰度电视信道接收方案的芯片实现

数字高清晰度电视(Digital HDTV)是当代最先进的图像压缩编码技术和现代通信技术的结合，已成为当今世界高技术竞争的焦点。它的推出......

学位

专用集成电路超深亚微米逻辑综合版图设计可测试设计静态验证技术

基于属性的形式验证技术及应用

为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳。传统的仿真验证技术很难达到验证的快速收敛,而......

期刊

功能覆盖率静态验证技术 Formal 断言

看过本文同时还关注