验证语言相关论文
在当今飞速发展的信息时代，信息化无疑成为了企业增强器其核心竞争力的利器。大小企业都争先建立相应的管理信息系统以促进自身的生......
在图形流水线中，齐次坐标用来区分向量和点；视窗变换完成三维图像到二维屏幕的投影。本文描述了齐次坐标变换和视窗变换的基本算......
本文介绍了信息摘要算法MD5的应用背景及其实现算法，并用Verilog HDL设计了MD5算法的硬件模块.基于System C验证语言和Modelsim对设......
平面裁剪是图形处理器(GPU)中不可缺少的部分。不同于视景体裁剪，用户可以任意指定最多6个不同平面对三维场景进行裁剪，以删除场......
针对复杂芯片设计的验证效率低下、验证手段乏力、设计语言支持不佳的情况,近一段时间很多先进的验证方法和新的设计验证语言不断......
在目前的集成电路设计中，芯片的设计规模和复杂程度正大幅增加，对“系统级”验证理论和技术提出新的挑战。e语言是Verisity公司于199......
集成电路经过几十年的发展，设计规模越来越大，功能日趋复杂。这种情况给验证工作带来了极大的挑战。产业内为了应对这种挑战，不断开发......
设计与验证行业正处于SoC(单片系统)器件设计与验证的两个重要趋势交叉点上:采用SystemVerilog HDVL(硬件描述与验证语言),以及覆......
本文针对目前芯片验证中出现的瓶颈问题。阐述了当前流行的验证技术和部分硬件验证语言。文中介绍了SystemC和E语言。以及多种功能......
由于微电子技术的迅速发展和系统芯片的出现,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大,复杂度日......
针对超大规模集成电路设计验证的复杂性，以多口以太网交换控制电路为验证对象，分析了高级验证语言的特点，研究了验证策略，设计了验证平......
