论文部分内容阅读
设计验证(DesignVerification)在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。
芯片功能验证流的高效生成方法
【摘 要】
：
设计验证(DesignVerification)在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状
【机 构】
：
北京大学深圳研究生院
【出 处】
：
北京大学学报(自然科学版)
【发表日期】
：
2007年01期
其他文献
旨在论述中国政府公务员由中国共产党领导、计划经济向市场经济转型、中国传统的人伦文化、中国社会从传统向现代、从农业向工业、从封闭向开放的转变和发展的特殊行政环境,
当前我国学术论文摘要英译,特别是文科论文摘要的英译大多拘泥于中文句式和篇章结构,不符合英语论文摘要的体裁规范,这在很大程度上影响了我国人文社科研究成果在国际上的有
<正>关于感性的力量"30年前,要登高俯瞰北京全城,有两个最佳地点:一个是景山万春亭,一个是北海永安寺白塔。"到《北京记忆》第二稿时,创作集体的吴群写出了上面这段话。多数
<正>就像电视机嵌入客厅就意味着嵌入家庭生活并带来一系列改变一样,户外电子媒介如LED大屏幕,嵌入公共场所同样带来新的都市化的文化格局。这种变化首先呈现的是技术文化本
复制权是最基础也是最核心的一项财产权。我国《著作权法》是以列举方式定义复制权,在世界范围内,对于复制权的规定大致分成两类,即广义和狭义。传统意义上的复制包涵三层含
两个实验分别从自我和母亲的角度考察了范围假设。每个实验单元包括起始任务和目标任务,起始任务要求被试对人格特质进行描述或定义,目标任务要求被试回忆一件与起始任务中的
空间定位系统的基础有三个方面:路径整合、位置再认、再定位,该文试从此三个方面对动物和人类的空间定位加工进行比较,从而加深对人类空间定位系统的认识.
<正>国庆60周年北京天安门广场的阅兵仪式,向全国和全世界集中展示了新中国成立以来,特别是改革开放以来我国国防和军队现代化建设的伟大成就,集中展示了人民军队听党指挥、
对永磁同步电机（PMSM）矢量控制系统在PSIM6．0环境下进行了建模和仿真，系统采用闭环控制结构，建立了d、q变换模块、模块的仿真模型。对此调速系统的仿真分析表明仿真结果与实际运行