共查询到20条相似文献,搜索用时 453 毫秒
1.
在IP产品开发中,验证工作是一个非常关键的部分,高效、可靠、全面的验证工作是IP模块开发成功的保证。本文提出了一种可重用IP核的验证方案,该验证方案的架构是基于面向对象的设计方法,验证模块中采用高级语言程序接口,而不是实际的I/O接口,有利于提高IP设计验证代码的可读性、可维护性、可重用性和可扩展性,提高验证效率。 相似文献
2.
结合多种网络验证方法(如基本验证、要验证、集成Windows验证和表单验证等),提高计算机网络应用可靠性。 相似文献
3.
4.
5.
6.
微软的.NET框架提供了一套完善的编写安全代码的技术,其中包括功能强大的正则表达式.正则表达式能够有效地实现数字验证、字符串验证、数字和字符串混合验证、HTML处理等各个方面的数据验证.深入地分析了.NET中正则表达式进行数据验证的原理和机制,给出了在MVC设计模式中分层实现数据验证的设计策略. 相似文献
7.
IEEE Std 1800-2500 System Verilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于System Verilog的VMM(verification methodology man-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(Fomat Convert Unit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。 相似文献
8.
9.
10.
11.
12.
13.
14.
15.
从验证性实验的教学理念、教学模式、程序、作用、不足等方面对生物验证性实验进行再认识,并分析了验证性实验的现状,同时对让生物验证性实验继续焕发“生命活力”进行了思考和探究,并提出了一些具体的原则、方法和要求。 相似文献
16.
许柯 《中国科教创新导刊》2008,(26)
高效、可靠、全面的验证工作是可重用IP核开发成功的保证。本文针对可重用IP软核的验证过程进行研究,主要从RTL级功能验证、静态时序分析和RTL级与网表之间的形式化验证三个方面入手,研究了当前主流的验证方法,分析各种方法的优点和存在的缺陷,并给出了建议性的解决方法。 相似文献
17.
18.
19.