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
Nov 22, 2024
We're providing every session and keynote from Works With 2024 on-demand. It's the only place wireless IoT developers can access hands-on training for free....
Nov 22, 2024
I just saw a video on YouTube'”it's a few very funny minutes from a show by an engineer who transitioned into being a comedian...

featured video

Introducing FPGAi – Innovations Unlocked by AI-enabled FPGAs

Sponsored by Intel

Altera Innovators Day presentation by Ilya Ganusov showing the advantages of FPGAs for implementing AI-based Systems. See additional videos on AI and other Altera Innovators Day in Altera’s YouTube channel playlists.

Learn more about FPGAs for Artificial Intelligence here

featured paper

Quantized Neural Networks for FPGA Inference

Sponsored by Intel

Implementing a low precision network in FPGA hardware for efficient inferencing provides numerous advantages when it comes to meeting demanding specifications. The increased flexibility allows optimization of throughput, overall power consumption, resource usage, device size, TOPs/watt, and deterministic latency. These are important benefits where scaling and efficiency are inherent requirements of the application.

Click to read more

featured chalk talk

SLM Silicon.da Introduction
Sponsored by Synopsys
In this episode of Chalk Talk, Amelia Dalton and Guy Cortez from Synopsys investigate how Synopsys’ Silicon.da platform can increase engineering productivity and silicon efficiency while providing the tool scalability needed for today’s semiconductor designs. They also walk through the steps involved in a SLM workflow and examine how this open and extensible platform can help you avoid pitfalls in each step of your next IC design.
Dec 6, 2023
61,891 views