EDA: 7 Grand Challenges
The concept of a Grand Challenge is an established one in engineering, so here in 2012 what are the Grand Challenges in EDA? Let’s go out on a limb and name a few candidates: No.1) Low power: This is...
View ArticleClik here to view.
Oski Technology: 72-hour Live Verification Challenge
This is a great story: Oski Technology decided to prove the validity and efficiency of Formal Verification, and proposed a public challenge for themselves at DAC – a 72-hour window of time in San...
View ArticleDVCon 2014: Design & Verification on Steroids
Oh my gosh: If you arrived at DVCon 2014 at 10:45 am on Tuesday this week, you’d have wondered if you’d wandered into the wrong conference. What happened to sedate, dignified DVCon? Standing at the...
View ArticleM&A: It’s Jasper to Cadence, at last …
In the moments prior to Cadence’s quarterly earnings call this afternoon, the company released news of the acquisition of Jasper Design Automation for $170 million, less $24 million in cash, and a...
View ArticleClik here to view.
Oski Technology: Formal celebrates its Place at the Table
Since initiating their Decoding Formal Club in October 2013, Oski Technology has hosted this much-needed get-together every quarter, most recently on October 21st of this year at the Computer History...
View ArticleManaging Faults: OneSpin’s Dave Kelf talks ISO 26262
In a recent conversation with OneSpin’s Dave Kelf, he laughed when I asked him to characterize the complexities of meeting functional safety standards when developing automotive electronics. “It’s a...
View Article
