文献检索-宁波市创意产业特色资源库

限定检索结果

检索条件"作者=孟维佳"

共 3 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

视图：

排序：

基于受限随机矢量生成的功能验证: 收藏
分享
引用; 《电子器件》2005年第1期28卷 200-203页; 作者：孟维佳杨军东南大学国家专用集成电路系统工程技术研究中心南京210096; 在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在:①复杂验证场景难以构建。②边缘情况难以覆盖。基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生验证矢量,有效解决了传统验证方法面临的挑战。本文以一款SO...; 在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在:①复杂验证场景难以构建。②边缘情况难以覆盖。基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生验证矢量,有效解决了传统验证方法面临的挑战。本文以一款SOC的存储子系统控制模块为例,研究了在 Specman验证平台上,使用 E语言构建验证环境的基于受限随机矢量生成的功能验证在 SOC设计中的应用。验证结果表明,复杂验证场景和边缘情况的覆盖率均达到100%。经过多目标圆片(MPW)流片试验和测试,采用该方法验证的模块达到设计要求。; 来源：详细信息评论

计算机在环保领域中的应用: 收藏
分享
引用; 《中国环保产业》1997年第1期 30-31页; 作者：孟维佳孟庆枢孟戈飞哈尔滨建筑大学哈尔滨市排污收费监理站黑龙江省成套局; 来源：详细信息评论

建筑企业成本核算电算系统分析与设计: 收藏
分享
引用; 《哈尔滨建筑大学学报》1997年第3期30卷 117-120页; 作者：陶萍孟维佳甘耀清孙玉国哈尔滨建筑大学黑龙江省能源研究所; 以系统工程理论为基础，结合我国建筑企业实际，探讨建筑企业成本核算信息系统的分析与设计方法。; 以系统工程理论为基础，结合我国建筑企业实际，探讨建筑企业成本核算信息系统的分析与设计方法。; 来源：详细信息评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页<< <1> >>

聚类工具回到顶部