1) system verification platform
系统验证平台
1.
Design of embedded microprocessor s system verification platform;
嵌入式微处理器的系统验证平台设计
2) testbench
验证平台
1.
Research and Application of an Efficient Testbench Based on Verilog;
基于VERILOG的一种高效验证平台的研究及应用
2.
Since systemC language was good at behavior description,design method of behavior models and testbenchs using systemC instead of HDL in IP soft core design were introduced in this paper.
在IP软核的设计过程中,可以利用SystemC行为模型描述特点代替传统HDL语言,建立行为模型和验证平台。
3.
Based on these research,a relevant testbench design is proposed.
分析了IP核设计过程中功能验证的重要性,研究了CIU96B IP核设计,在此基础上提出了一个相应的验证平台设计,仿真显示该验证平台结构的实现了对该IP核的验证,有效地促进了该IP核的设计。
3) verification platform
验证平台
1.
Construction of verification platform based on SD/MMC controller;
基于RVM SD/MMC卡控制器验证平台的搭建
2.
Design and Application of Microprocessor Hardware Verification Platform;
微处理器硬件验证平台的设计与应用
3.
Design of FPGA verification platform of 32 bits RISC microprocessor;
32位RISC微处理器FPGA验证平台设计与实现
4) RVM TestBench
RVM验证平台
5) fpga verification platform
FPGA验证平台
1.
This paper als o introduces the FPGA verification platform in detail since verification is of c ritical importance for the success of a.
264解码器的ASIC(专用芯片)解决方案及其FPGA验证平台。
6) verification system
验证系统
1.
A RTL(register transfer level) functional verification system for package assembly function in IPOA application is illustrated in this paper.
该验证系统可根据用户输入数据自动产生ATM信元作为激励 ,并对被测系统的输出进行自动验证。
2.
Because of the verilogcode of the chip has been realized, the verification system which can verify the code isurgent needed.
为了保证处于设计阶段的雷达信号处理通用芯片功能的正确性，本文从雷达信号处理通用芯片的功能出发，设计了一个基于FPGA和DSP的雷达信号处理通用芯片验证系统。
补充资料：专家系统验证与确证
专家系统验证与确证
expert system verification and validation
时使用专家系统、已有系统和非自动化方法，并比较结果;⑧尽早开始确证测试，甚至仅当某个功能的一个子集被实现时，也要进行确证测试，以便尽早发现错误并改正;⑨当知识库被加工时，保持系统性能的详细信息，并与知识库加工前的系统性能相比较，若性能受到严重影响，则重新进行高层设计，如修改子问题的结构等。 规范的验证与确证方法对于提高专家系统的可接受性是必要的。它们可与开发过程的许多步骤并行进行，而且验证与确证很容易适应重复原型开发方法。zhuanjla xitong yanzheng yu quezheng专家系统验证与确证(exp吧rt system verifi-cation and validation)验证专家系统在设计中遵循技术规范，符合设计指标，并确保所开发的专家系统能满足用户要求的过程。验证与确证在软件工程中有着明确的意义，验证是确定在某一阶段开发的软件产品是否满足预先规定的规格要求的过程，主要由软件开发者完成;确证是在开发结束后评价软件以确保它能满足用户要求的过程，主要由用户完成。 验证主要帮助开发者解决如下问题:是否已建造了一个正确的专家系统?该系统是否能够解决用户的问题?该过程与编码(推理机、界面)、知识和元知识有关。包括:验证推理机、验证知识库、验证系统运行(或工作)状况。若专家系统的知识库中包含事实和规则，则还需要认可每个事实、每条规则;检测推导出的事实集合的性质;检测规则集合的性质;检测每条规则及整个规则集的运行状况。 验证贯穿整个专家系统开发的始终，包括如下步骤: (1)验证高层设计是否能处理需求说明中的每一项目以及所提出的分解是否合理; (2)对每一主要成分，验证详细设计是否实现了高层设计中所描述的目标; (3)对每一程序单元，验证代码是否按正确风格编写，是否与详细设计一致; (4)验证代码的编译没有错误，且按详细设计中所描述的执行(白盒测试)。 确证是一种黑盒测试，它主要帮助用户解决如下问题:软件开发者提供的产品是否正确?是否能够真正解决用户所提出的问题?通过确证，用户能够确认产品的可用性、能力、性能和可靠性。确证一个专家系统涉及的间题包括:确证什么;反驳什么;用什么来确证;什么时候确证;如何控制确证的代价;如何控制偏见;如何处理多个结果。确证的方法很多，分为定性方法和定量方法。定性方法主要有:①表面确证;②预测确证;③Turing测试;④领域测试;⑤子系统确证;⑥敏感性分析;⑦可视相互作用。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条