Renesas Electronics Europe has selected the verification tool suite of Coveritas for its automotive microcontrollers and systems-on-chip (SoC) software testing and verification.
UK-start Coveritas only launched its first product in April 2012. This was a suite of coverage driven and constrained-random scenario based verification tools for Software development.
The verification challenge of safety critical systems in automotive designs and has increased as the number of lines of code in automotive electronic systems has escalated.
Source:
http://www.electronicsweekly.com/Articles/2013/01/30/55463/renesas-uses-coverage-driven-verification-of-automotive-software.htm
