industry news
Subscribe Now

Verific and DARPA Sign Partnership for Streamlined Access to Industry-Standard SystemVerilog EDA Software

DARPA Program Equips Community with Best-in-Class Technologies, U.S. Innovation

ALAMEDA, CALIF. –– December 16, 2020 –– Verific Design Automation today announced a partnership agreement with the U.S. Defense Advanced Research Projects Agency (DARPA) to provide the DARPA community access to its electronic design automation (EDA) software in production and development use throughout the semiconductor industry.  

Driven by the DARPA Electronics Resurgence Initiative (ERI) to forge collaborations among commercial electronics companies, the agreement offers the DARPA community use of Verific’s hardware description language (HDL) software for the duration of their programs.

“Our support of academic use over the years has been on an ad-hoc basis,” remarks Michiel Ligthart, president and chief operating officer of Verific. “This agreement provides DARPA-funded programs easy and streamlined access to our industry-standard SystemVerilog parsers and elaborators, cracking open ways to meet DARPA’s goal to innovate a fourth wave of electronics progress.”

Specific tools covered under the agreement are Verific’s SystemVerilog parser and static and register transfer logic (RTL) elaborators, already serving as front-end for simulation, formal verification, synthesis, emulation, virtual prototyping, in-circuit debug and design for test applications worldwide. For years, Verific’s Parser Platforms have given engineering groups a way to eliminate costly internal development of front-end EDA software, accelerating time to market with improved quality. 

Currently, more than 20 DARPA-funded programs promote U.S. microelectronics leadership, including some using low-cost, predictably priced tools such as Verific’s software. “DARPA’s programs within the Microsystems Technology Office (MTO) are a bold accelerator of several technical and economic trends in the microelectronics sector,” says Serge Leef, who leads design automation and secure hardware programs. “Giving DARPA’s community easy access to proven, industrial-strength, best-in-class software frameworks enables the researchers to tightly focus on scientific advances while improving the path to a smooth transition of their breakthrough discoveries into commercial and defense applications.”

Verific’s SystemVerilog, VHDL and universal power format (UPF) Parser Platforms are in production and development flows at semiconductor companies worldwide, from emerging companies to established Fortune 500 vendors. Verific distributes its Parser Platforms as C++ source code and compiles on all 32- and 64-bit Unix, Linux, Mac OS and Windows operating systems.

About Verific Design Automation

Verific Design Automation is the leading provider of SystemVerilog, Verilog, VHDL and UPF Parser Platforms that enable project groups to develop advanced electronic design automation (EDA) products quickly and cost effective worldwide. With offices in Alameda, Calif., and Kolkata, India, Verific has shipped more than 60,000 copies of its software used worldwide by the EDA and semiconductor industry since it was founded in 1999.

Leave a Reply

featured blogs
May 6, 2026
Hollywood has struck gold with The Lord of the Rings and Dune'”so which sci-fi and fantasy books should filmmakers tackle next?...

featured paper

Quickly and accurately identify inter-domain leakage issues in IC designs

Sponsored by Siemens Digital Industries Software

Power domain leakage is a major IC reliability issue, often missed by traditional tools. This white paper describes challenges of identifying leakage, types of false results, and presents Siemens EDA’s Insight Analyzer. The tool proactively finds true leakage paths, filters out false positives, and helps circuit designers quickly fix risks—enabling more robust, reliable chip designs. With detailed, context-aware analysis, designers save time and improve silicon quality.

Click to read more

featured chalk talk

CBOT MULTIGIG Transceiver Platform
In this episode of Chalk Talk, Anders Thelin from TE Connectivity and Amelia Dalton explore how the CBOT MULTIGIG transceiver platform helps address these challenges with a modular, high-performance approach to rugged, high-density connectivity. We also investigate how this platform supports next-generation system architectures, improves design efficiency, and enables robust performance in even the most demanding environments.
May 18, 2026
0 views