1) Murφ Verification System
Murφ验证系统
2) 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的雷达信号处理通用芯片验证系统。
3) System verification
系统验证
1.
A system verification platform is constructed in this paper,which is based on the buses of 8051 Core.
文中基于8051核的总线构建一个8位SoC设计验证平台,该平台可重用IP模块的激励文件,并利用现有的EDA工具对不同设计阶段进行软硬件协同仿真,大大减轻系统验证的工作量。
2.
Based on the Communication Finite State Machine (CFSM) model, the authors design an FI detection method using the system verification technique.
基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则。
4) FPGA testing system
FPGA验证系统
5) system-level verification
系统级验证
1.
Design and System-level Verification of Instruction CACHE Architure;
指令CACHE结构设计与系统级验证
2.
Many factors,such as IP reuse,the connection between IPs with bus and system-level verification,are the keys to the design of SOC.
如何选择可复用IP、总线连接和对各IP模块进行系统级验证是SOC设计的核心,同时USB协议自身实现和测试的复杂性,这些都是芯片设计成败的关键。
6) inner-system verify
系统内验证
补充资料：专家系统验证与确证
专家系统验证与确证
expert system verification and validation
时使用专家系统、已有系统和非自动化方法，并比较结果;⑧尽早开始确证测试，甚至仅当某个功能的一个子集被实现时，也要进行确证测试，以便尽早发现错误并改正;⑨当知识库被加工时，保持系统性能的详细信息，并与知识库加工前的系统性能相比较，若性能受到严重影响，则重新进行高层设计，如修改子问题的结构等。 规范的验证与确证方法对于提高专家系统的可接受性是必要的。它们可与开发过程的许多步骤并行进行，而且验证与确证很容易适应重复原型开发方法。zhuanjla xitong yanzheng yu quezheng专家系统验证与确证(exp吧rt system verifi-cation and validation)验证专家系统在设计中遵循技术规范，符合设计指标，并确保所开发的专家系统能满足用户要求的过程。验证与确证在软件工程中有着明确的意义，验证是确定在某一阶段开发的软件产品是否满足预先规定的规格要求的过程，主要由软件开发者完成;确证是在开发结束后评价软件以确保它能满足用户要求的过程，主要由用户完成。 验证主要帮助开发者解决如下问题:是否已建造了一个正确的专家系统?该系统是否能够解决用户的问题?该过程与编码(推理机、界面)、知识和元知识有关。包括:验证推理机、验证知识库、验证系统运行(或工作)状况。若专家系统的知识库中包含事实和规则，则还需要认可每个事实、每条规则;检测推导出的事实集合的性质;检测规则集合的性质;检测每条规则及整个规则集的运行状况。 验证贯穿整个专家系统开发的始终，包括如下步骤: (1)验证高层设计是否能处理需求说明中的每一项目以及所提出的分解是否合理; (2)对每一主要成分，验证详细设计是否实现了高层设计中所描述的目标; (3)对每一程序单元，验证代码是否按正确风格编写，是否与详细设计一致; (4)验证代码的编译没有错误，且按详细设计中所描述的执行(白盒测试)。 确证是一种黑盒测试，它主要帮助用户解决如下问题:软件开发者提供的产品是否正确?是否能够真正解决用户所提出的问题?通过确证，用户能够确认产品的可用性、能力、性能和可靠性。确证一个专家系统涉及的间题包括:确证什么;反驳什么;用什么来确证;什么时候确证;如何控制确证的代价;如何控制偏见;如何处理多个结果。确证的方法很多，分为定性方法和定量方法。定性方法主要有:①表面确证;②预测确证;③Turing测试;④领域测试;⑤子系统确证;⑥敏感性分析;⑦可视相互作用。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条