EDA|DARPA与美国Verific公司签署合作协议，向电子复兴计划的研究团队提供Verific的硬件描述语言（HDL）软件
美国Verific Design Automation公司与美国国防高级研究计划局（DARPA）达成合作协议，向DARPA“电子复兴计划”（ERI）研究团队提供其硬件描述语言（HDL）软件，促进商业电子公司之间的合作。
包含EDA工具
协议中包括的具体EDA工具是Verific公司的SystemVerilog解析器及静态和寄存器传输逻辑(RTL)阐述器，已经作为仿真、形式化验证、综合、仿真、虚拟原型、电路内调试和测试应用设计的前端。多年来，Verific的解析器平台为工程团队提供了一种消除高昂成本的前端EDA软件内部开发的方法，在提高质量的同时加快上市时间。
作用和意义
目前，DARPA资助的20多个项目促进了美国微电子技术的领先地位。领导设计自动化和安全硬件项目的SergeLeef说。“DARPA在微系统技术办公室（MTO）内的项目是微电子领域几个技术和经济趋势的加速器。让DARPA研究团队能够方便地获得经过验证、工业级、一流的软件框架，使研究人员能够紧紧围绕科学进步，同时改善他们能够将突破性发现快速转换换为商业和国防应用的路径。”
Verific公司产品
Verific公司的SystemVerilog、VHDL和通用电源格式（UPF）解析器平台已在全球半导体公司的生产和开发流程中使用，从新兴公司到成熟的500强厂商都有。Verific将其Parser Platforms作为C++源代码发布，并可在所有32位和64位Unix、Linux、Mac OS和Windows操作系统上编译。
Verific公司自评
Verific公司总裁兼首席运营官Michiel Ligthart表示：“我们多年来对学术使用的支持一直基于临时性的基础，该协议为DARPA所设立项目提供了可以方便、简化使用SystemVerilog解析器和阐述器的机会，促进DARPA创新第四波电子发展目标的实施。”