简介 PVS是原型验证系统(Prototype Verification System)的缩写，斯坦福研究机构在过去20年中开发了一系列验证系统，开发PVS的目的是把它作为一个重量级验证系统EHDM的轻量级原型，以探索...
基于52个网页-相关网页
以上来源于: WordNet
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
Experiments concerning the verification of the mathematical model, calibration of the sensing and measuring system, and field applications are carried out on the basis of the prototype.
在研制出样机的基础上，对数学模型的验证，起重传感器测量系统的标定，以及现场测试等方面进行了全面系统的实验研究。
Design circuit for SoC (System on Chip) design verification in FPGA prototype phase and product phase.
设计电路用于片上系统的设计验证，包括FPGA原型阶段和产品阶段。
应用推荐