It's Verific !
Michiel Ligthart is president & COO of Verific Design Automation. Prior to Verific he worked at startups in asynchronous logic and FPGA synthesis. He started his career at Philips Research.
September 5th, 2013 by Michiel Ligthart
I don’t recall when it was the first time that I heard VHDL was a dying language, but for sure it was many years ago, maybe as far back as the late 1990s. Obviously the EDA futurists of then got it very wrong, and I was recently wondering if I could put a number on how wrong.
At Verific, as the premier provider of SystemVerilog and VHDL parsers to many EDA, FPGA, and semiconductor companies, we do have some good insights in what our customers license from us and how they use it. Since its start, Verific has shipped just over 100 licenses. So I sat down and tallied the HDL languages companies obtained from Verific during that period. Here is the countdown
August 21st, 2013 by Michiel Ligthart
Earlier this year, Verific shipped its 100th source code license and that triggered an interesting question. Whatever happens to those licenses, and the licensees, over time ? For the non-initiated, let me briefly explain what we are all about. Verific Design Automation sells SystemVerilog and VHDL parsers (some call it a platform) to EDA, FPGA, and semiconductor companies who in turn build their EDA applications on top of our front ends Some of those applications are used in-house (semiconductor customers) and others are shipped worldwide as part of well-known EDA products.
It wasn’t too difficult to trace this down as we have maintained clean records off all licensees over time. All we needed to do was to account for what happened to some of them. (For instance, company A gets acquired by company B, which gets acquired by public company C. Ok, that’s one license under ‘acquired’ and does not count towards ‘public’.)
August 5th, 2013 by Michiel Ligthart
In the spring of 2007, when EE Times still came out in print, I stumbled upon an article announcing the latest release of a static code analysis product. “Static code analysis can find bugs in software by analyzing source code, without any need to execute the program” the article claimed. (The article is still available at http://www.eetimes.com/document.asp?doc_id=1304520)
Intrigued, I checked it out and quickly realized its potential. After a short courtship by our R&D staff, Verific became a proud licensee of what was then known as Coverity Prevent Express, which I guess nowadays goes by the name Coverity Quality Adviser.
As in most quality assurance products, your biggest bang for the buck is in your initial deployment, as they show you all your booboos from the previous years. Once we had worked our way through those, and we were pretty much “Coverity clean”, it actually took us little effort over time to stay that way.