ANSI-C 自动验证搜索的软件组件

开发具有工业性能和存储能力的验证引擎是一项高风险、高成本的投资。它需要一个由计算机科学博士组成的团队研发多年。最坏的结果是该投资彻底失败。我们用于商业销售的Prover Plug-In®验证引擎包使软件工具经销商不必从基础做起，便可获得授权使用这种经过考验的组件。这就意味着成本、性能和容量可事先得知，失败的风险也降低了。

Prover Plug-In产品专为多种系统设计和验证工具开发商和供应商设计并用于诸如电子设计、复合IC和芯片系统、关键控制软件、嵌入式系统以及用于TTCN、 UML、 SDL等语言设计和说明工具。

集成性

Prover Plug-In产品将目标定位于验证软件供应商。该软件可为使用 PiSPEC、 Verilog、 C、 Simulink、 Statemate、 SCADE 和UML等多种语言的系统提供验证工具。

一种成熟且经过行业考验的解决方案

较其同类竞争产品相比，Prover Plug-In占用计算机内存更少，解决工业问题更为快捷。此外，Prover Plug-In也拥有近20年的研发、工业经验并获得了专利认证。Prover Technology还提供高端支持和维护。

分析能力和建模语言

Prover Plug-In可用于有界和无界模型检验、结合和结果序列等价验证以及测试生成。该引擎支持采用限制和陈述形式的等价系统建模，并支持包括数组、布尔运算、整数 和实数等在内的多种数据类型。