验证环境相关论文
UVM作为通用的验证方法学,可以利用其为待测模块DUT(Design under Test)搭建验证环境并进行验证.由于UVM是一个通用整体结构,适用......
阐述风力发电和光伏发电并网中的问题,应对的措施,包括孤岛效应、发电系统运行可靠性、并网后电网经济效益、系统的验证环境、控制......
随着半导体工业的快速发展,并遵循摩尔定律的特征,集成电路系统设计的复杂性正以指数级的增长方式快速增长,单芯片内的晶体管集成......
随着ASIC芯片面临的上市压力越来越大,尽可能缩短开发周期是所有ASIC工程师所必须解决的问题.验证工作在整个芯片开发周期当中占据......
本文以试飞机载测试系统地面综合试验与验证需求为主线，阐述了试飞机载测试系统综合试验与验证技术的内涵和建立试验与验证平台......
本文提出了一种PCIX设备的模拟验证环境,该环境能方便的产生各种总线场景，并且监测总线上的事务执行情况，从不同方面验证PCIX设备的......
本文基于Cadence公司的高级验证语言及其开发工具SpecmanElite,讨论了如何搭建一个灵活、可重用、可配置的事务级验证环境,以及如......
在现代集成电路设计中功能验证已经成为产品开发过程中的瓶颈。在本文中简单介绍了目前国内外集成电路设计中广泛采用的验证技术--......
实时系统的设计给软件设计员带来巨大挑战，在缺乏一个可靠的系统验证环境时，减少甚至避免设计错误几乎是不可能的。该文中我们简要介......
针对中国航空工业测试技术对VXI总线测试平台的需求和航空电子设备大量使用1553B总线的现状，该文介绍了VXI-1553B 总线接口模块的硬......
随着芯片设计规模的不断增大,以及SoC技术的发展,验证工作变得日益复杂和繁琐。芯片设计包括设计和验证,只有验证通过后,芯片才能......
本文通过定性分析传统激励生成机制和受限随机(Directed-Random)向量生成机制的优缺点，选择了受限随机向量生成机制作为搭建DMAC验......
语音通信是现代多媒体通信中一个重要的组成部分,语音压缩技术又是实现低速率语音通信的关键技术。当前的语音压缩编码技术迫切需......
本文通过对PCIe和AXI协议的研究,设计并实现了一种PCIe事务层包和AXI协议之间桥接转换的部件.PCIe-AXI协议转换完成了AXI主机......
随着集成电路设计的日趋复杂，实现系统级软硬件协同验证越来越成为难点之一。本文介绍了某处理器芯片基于硬件仿真器实现系统级......
本文介绍了Synopsys公司推出的基于VMM的寄存器抽象层验证技术和方案,简称RAL(Register Abstraction Layer).该技术是Synopsys针对......
凭借一流的设计、验证环境和基于标准DRAM的先进工艺技术(90nm & 110nm),美光科技上海IC设计中心致力于为美光设计出最符合专用市......
把C语言建模的硬件当作虚拟原型,用来验证包含软件在内的系统整体功能及预估性能的软硬件协调验证系统正在向高速化方向发展.最近......
随着当前IC设计规模的空前增长,功能验证变成了设计过程中的主要瓶颈。验证方法已经从简单的采用基于HDL任务的方法发展到了一种完......
论述了利用三维图形建立航天飞行动力学仿真模型验证环境的研究方法,该验证环境包括飞行动力学仿真模型实时解算的主控机系统设计......
在提倡全面解决方案的今天，SpringSoft却仍然坚持提供部分解决方案，也许正是由于其专注，使得该公司近十年都能一直保持盈利的记录。......
以中国互联网络信息中心（CNNIC）为召集单位的中国IP地址分配联盟2012高峰会议6月6日在广东珠海举行。会上，由CNNIC发起的IPv6开放交换......
SpringSoft宣布CertitudeTM功能验证品管系统的重大发展,能够以更多元且更具效率的方式配置验证方法。新推出的自动侦测与验证环境......
交互式GreenPoint网上设计仿真工具用于高能效发光二极管（LED）照明应用。GreenPoint设计工具提供交互式网上设计及验证环境，帮助加速......
记者日前从国家发展和改革委员会了解到，2010年信息安全专项项目申报工作已经开始，国家补贴资金将重点支持信息安全相关标准的制订。......
国家发展和改革委员会处日前下发通知称，2010年信息安全专项项目申报工作已经开始。国家补贴资金将重点支持信息安全相关标准的制订......
期刊
介绍了如何应用验证模型快速搭建系统验证平台。在基于VMT的验证平台中,使用验证模型驱动待测系统,检测系统响应。该平台结构简单......
2016年12月2日，由复旦大学和上海交通大学共同牵头，29家高等院校、研究所、企事业单位在上海联合成立了全国首个大数据试验场联盟。......
专业IC设计软件全球供货商SpringSoft宣布。日商MegaChips采用Certitude功能验证品管系统作为其功能验证方法之一环。MegaChips为......
S2C日前宣布其VerificationModule技术已可用于其基于Xilinx的FPGA原型验证系统中。V6TAIVerificationModule可以实现在FPGA原型验......
在测试开发系统－ＴｅＤＳ中，我们定义了元测试程序设计语言ＴＯＰＣｔ ＴｅＩＦ，它们是在多种测试程序的脱开发和移植中起桥梁作用，用它们开发和变换生成的元测试......
集成电路行业的发展,为SOC设计积累了丰富的IP库和设计方法.采用系统设计常用的基于平台的方法,可以快速完成系统的集成.但要完成......
【正】 改革开放以来,我国的电信事业取得了举世瞩目的成就,其发展速度可谓日新月异。我国电信网络的技术水平已达到或接近于发达......
随着SystemVerilog成为IEEE的P1800规范,越来越多的项目开始采用基于SystemVerilog的验证方法学来获得更多的重用扩展性、更全面的......
分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境......
针对传统串行外设接口（SPI）模块设计不灵活、不利于扩展、不支持乱序访问的缺陷,设计了一种面向系统级芯片（SoC）的SPI模块。首先,根据S......
随着IP核在SOC中数量增加至一定规模后,传统的片上互连总线由于扩展性差、延迟高以及面积、功耗等问题无法满足系统性能的需求。片......
三维工艺设计的核心是给工艺规划人员提供一个三维的设计、分析与验证环境，可以在工艺规划过程中对加工方法、工艺路线、夹紧定位方......
首先介绍了功能覆盖率和层次化Testbench，然后将两者结合起来介绍了一种基于功能覆盖率的验证环境的构建方法。论文结合作者设计的......
针对复杂环境、复杂任务以及复杂作战过程的现状，首次提出了任务合成的概念、任务合成的运行架构并建立了验证环境，为提升未来飞机作......
针对功能验证的特点，在传统功能验证的基础上，引入覆盖率作为验证程度的反馈信息，从而有针对性地完善了验证环境，提高了验证程度．并以一......
本文从SoC（System on a Chip）验证环境外在的框架结构、内在的验证数据的组织与管理和体现其工作原理的系统脚本的设计思想三方面出......
