In the news

From Semiconductor Engineering: Formal verification has come a long way in the past five years as it focused on narrow tasks within the verification flow. Semiconductor Engineering sat down to discuss that progress, and the future of formal technologies, with Raik Brinkmann, president and CEO of OneSpin Solutions...

From Semiconductor Engineering: Experts at the Table, part 3: Panelists discuss software verification, SystemC and future technologies that will help verification keep up.

From Semiconductor Engineering: The news of last week’s Yahoo hack that affected 500-million or so users sent shock waves of anxiety far and wide. It’s not clear yet how the massive data breach occurred or through what means the hackers accessed the network. It could be the chips that drive the network, often vulnerable to attacks on their operational integrity.

From Semiconductor Engineering: As the amount of electronic content in a car increases, so does the number of questions about how to improve reliability of those systems. Unlike an IoT device, which is expected last a couple of years, automotive electronics fall into a class of safety-critical devices. There are standards for verifying these devices, new test methodologies, and there is far more scrutiny about how all of this happens.

From The Electronic Engineering Journal "Fish Fry": In this week’s Fish Fry, we look to the skies for the next big thing in verification technology - formal verification. Dave Kelf from OneSpin joins us to discuss the past, present, and future of formal verification, what formal does that simulation does not, and details of OneSpin’s “Game of Drones” contest. Then, in keeping with our airborne theme, we take a closer look at a new drone called “Deep Purple” developed by the US Army's Edgewood Chemical and Biological Center - designed specifically to sniff out biological and chemical agents in the air.

From Semiconductor Engineering: Machine learning is everywhere. It’s being used to optimize complex chips, balance power and performance inside of data centers, program robots, and to keep expensive electronics updated and operating. What’s less obvious, though, is there are no commercially available tools to validate, verify and debug these systems once machines evolve beyond the final specification.

From Peggy Aycinena, EDACafe: As of August 17th, when they posted financial results for Q3_2016, Synopsys is reporting somewhere in the neighborhood of $1 billion in cash and cash equivalents. As prudent as it may be to save for a rainy day, here’s something a bit more creative the company could do with a portion of that cash: Buy OneSpin.

Watch this video of industry leaders representing the entire development chain for Autonomous Car Electronics, moderated by Jim Hogan