为了帮助完成验证，很多设计机构已转向硬体辅助验证（hardware-assisted verification）来建构设计原型。电路测试板是第一种硬体原型制作形式，在精密性和流行程度方面一直在提高。
基于1个网页-相关网页
computer-assisted verification [审计] 计算机辅助核实
hardware-assisted verification 辅助验证
computer-assisted verification of software control [计] 软件控制的计算机辅助审核
Manual Tester is more than just an authoring tool; it also improves productivity of manual test execution with assisted data entry and verification features.
Manual Tester不只是一个编写工具，通过辅助的数据输入和验证特性，他还改善了人工测试执行的生产率。
Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science.
公理的计算机生成、辅助证明和验证这一学科在计算机科学王国中只占有很小的份额。
Results of the mathematical model verification and the numerical results of heat consumption computer-assisted management control system operation are shown on Figure 2.
数学模型验证的结果和数值结果的热量消耗计算机辅助管理控制系统操作在图2所示。
应用推荐