云南高校图书馆联盟文献共享服务平台- 张旭

张旭: 作品数：1被引量：9H指数：1; 导出分析报告; 供职机构：湖南广播电视大学更多>>; 发文主题：FPGA仿真CPU芯片CPU静态时序分析更多>>; 发文领域：电子电信更多>>; 发文期刊：《微电子学》更多>>; 所获基金：国家自然科学基金国家高技术研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

面向CPU芯片的验证技术研究被引量：9: 《微电子学》2007年第1期16-19,23,共5页胡建国位招勤张旭曾献君; 国家自然科学基金重大研究计划资助项目(90207011);国家高技术研究发展(863)计划资助项目(2002AA110020);校预研基金资助项目(JC03-06-007); CPU芯片规模大、复杂度高,在芯片设计的不同阶段进行多层次的验证,保证芯片的正确性非常关键。文章探讨了模拟验证、FPGA仿真、形式验证和静态时序分析等验证方法,提出了一种多级验证体系方法,实现CPU芯片的多层次验证,并成功地验证了...; 关键词：CPU 模拟验证 FPGA仿真形式验证静态时序分析多级验证