【摘 要】
：
随着集成电路设计技术的发展,集成电路的规模越来越大,这使得在设计的各个阶段设计验证越来越重要,验证耗时的缩短也成为了SOC设计的关键。介绍了基于逻辑等效模型的快速功能
【机 构】
：
电子科技大学大规模集成电路设计中心
论文部分内容阅读
随着集成电路设计技术的发展,集成电路的规模越来越大,这使得在设计的各个阶段设计验证越来越重要,验证耗时的缩短也成为了SOC设计的关键。介绍了基于逻辑等效模型的快速功能仿真验证的方法和技巧,首先研究了验证的策略和方法,然后阐述了采用NC-Verilog进行快速功能仿真验证所使用的逻辑等效模型,最后给出了该方案的仿真结果和结论,证明该技术不仅能达到功能仿真验证的目的,而且有效地缩短了仿真周期,显著地提高了仿真效率。
其他文献
随着时代的发展,很多新兴的教育模式加入到中学语文的写作教学课堂中,以此推动着中学语文写作教学的发展,情境教学便是教学模式之一,作为新兴的教学模式,本文阐述了初中语文
为了克服传统人工目测劳动强度大、误检率高、漏检率高以及现有疵点检测方法检测精度低的问题,提出一种基于正交小波分解的织物疵点检测方法,以提取的特征值相对误差大小代替归一化相对特征值作为判断疵点是否存在的标准。实验结果表明,此种方法比传统方法检测精度高。
应用加权聚类算法对本校图书馆的图书借阅数据进行数据挖掘,分析研究读者的借阅行为,通过分析聚类挖掘结果,寻找到读者借阅图书的潜在规律,并对各类图书的借阅状况进行判断,获得对图书馆管理有用的信息,提高图书馆管理工作效率和资源利用率,进一步优化馆藏。
首先介绍了TURBO51嵌入式微处理器的基于分支预测和动态执行结构设计与设计背景及目前验证的发展状况,即形式验证、模拟仿真和硬件加速仿真,然后介绍了TURBO51设计验证所采用
经过一年的建设,福建省漳州市漳浦县医院儿科楼于日前竣工投入使用。据了解,这是目前漳州市县级医院中首座独栋儿科楼,大大改善了该县患儿的就医环境。漳浦县医院儿科楼总投
【目的】瓜实蝇Bactrocera cucuribitae是一种重要入侵害虫,寄主广,危害性大。本研究旨在揭示中国瓜实蝇种群分化和遗传变异情况。【方法】利用9个多态性微卫星位点作为分子
小学语文既具有一定的情感性,又具有一定的思想性,而两者又是可以相互融合和相互影响的。小学语文教师可以运用语文的学科特性,激发学生的内心的情感体验,并将这种体验转化为
来自中心镇的报告：中心镇是我市城市化发展中的一个重要节点和载体。几年来，按照城乡联运战略要求，我市中心镇综合实力快速增强，城镇面貌变化明显，社会事业协调发展，改革创新走在前
高中生,是我国学生群体中承上启下的重要一环。对高中生的思想政治教育,是关系到新一代社会主义事业接班人的整体思想政治素质的重要课题。当前,我国的高中思想政治教育系统
主要阐述了开关量电路模块的自动化测试系统设计方法,通过计算机控制S3C2410开发板和安捷伦测试设备,实现开关量电路模块的测试任务。测试系统软件可分为两部分,上位机软件采