Dave Kelf

  (all posts)
Dave Kelf is vice president of marketing at OneSpin Solutions.

Author's Latest Posts

The Semiconductor Industry’s Big Opportunity
By Dave Kelf - 24 Aug, 2017 - Comments: 0

Safety critical device development, particularly in the automotive electronics space, has the attention of the entire semiconductor industry. Not surprising, since next-generation cars represent the biggest opportunity yet since mobile devices. However, what’s less obvious are the various phases of this megatrend that represent real convergence from many specializations. Traditional automo... » read more

The Safe Road Trip Thanks To Formal Verification
By Dave Kelf - 29 Jun, 2017 - Comments: 0

School’s out, gas is cheap and families in the U.S. are piling into their cars or minivans to take the time-honored cross-country road trip. These days, kids in the backseat don’t need to entertain themselves by spotting the license plates from the 50 U.S. states or picking a fight with their brother or sister. Instead, they can be kept amused with the vehicle’s sophisticated entertainmen... » read more

Formal Verification’s Continental Divide
By Dave Kelf - 25 May, 2017 - Comments: 0

Formal verification is picking up steam with engineering groups worldwide doing complex functional verification for bug-free and reliable digital chips. In fact, many difficult verification challenges are solved with formal verification, given its flexibility in targeting a broad range of verification challenges. Recent advances in formal verification’s ease of use and capacity has made it an... » read more

Rediscovering Coverage Insurance
By Dave Kelf - 27 Apr, 2017 - Comments: 0

When coverage comes up in conversation, if it comes up at all, it’s always a matter of car, home or health insurance. Coverage and functional verification are unlikely to be used in that discussion, or any other for that matter. That’s too bad because engineering groups grapple with when is enough verification enough, like some kind of coverage insurance. Oh sure, simulation and emulatio... » read more

10 Ways To Skin A Formal Puzzle
By Dave Kelf - 23 Mar, 2017 - Comments: 1

During the holidays, OneSpin issued a challenge to solve the classic Einstein’s Riddle using any formal verification tool. Although this puzzle was meant to be a little holiday fun, its solution required thought and some useful formal techniques applicable in everyday functional verification. We received a broad range of answers from engineers across the globe in different companies, inclu... » read more

Find Your Way To San Jose Next Week… For DVCon, Of Course!
By Dave Kelf - 23 Feb, 2017 - Comments: 0

If you’re asked “Do you know the way to San Jose?” in the next few days, chances are it’s a newbie to DVCon. Everyone else in chip design verification knows the way to the annual Design and Verification Conference and Exhibition about to convene at the San Jose DoubleTree Hotel. This year’s program is stacking up to be an insightful and educational four days of tutorials, paper ses... » read more

Formal Verification Takes Safety-Critical Applications For A Drive
By Dave Kelf - 26 Jan, 2017 - Comments: 0

The high reliability of safety-critical chips for automotive applications is a well-known imperative for today’s higher-end cars and as driverless cars move closer to reality. Uber, in fact, is testing autonomous cars in Boston of all places, where aggressive driving reigns supreme and honking the horn is considered an art form. As automotive manufacturers realize that their differentiatio... » read more

Solving Einstein’s Riddle Using Formal Verification
By Dave Kelf - 22 Dec, 2016 - Comments: 0

Attention all Sherlockians in the semiconductor industry! OneSpin Solutions challenges you to take on Einstein’s Riddle Intelligence Test below and spend the holidays puzzling it out, using the brand of formal verification software of your choosing. Three remote-controlled flying drones will be awarded to the three fastest solutions to the riddle that execute correctly on OneSpin’s DV-Ve... » read more

Verification Specialists And Generalists
By Dave Kelf - 22 Nov, 2016 - Comments: 0

Step into any weekly status update meeting where the topic is chip design verification, especially if formal verification is on the agenda, and it’s clear the verification department is moving much like traditional corporate environments. That is, there are generalists with loads of knowledge about many different verification tools and techniques and then there are specialists or experts who ... » read more

DVCon Europe: 2 Days Of Verification Presentations To Enthusiastic Attendees
By Dave Kelf - 27 Oct, 2016 - Comments: 0

Design verification was on full display last week in Munich, Germany, as DVCon Europe offered two full days of more than 30 sessions. Attendees could choose from 16 tutorials, two panels, three keynotes and 16 technical presentations or wander through a small but active exhibit floor, with exhibitors that included OneSpin. The conference for engineers by engineers is meant to be educational,... » read more

← Older posts

  • Sponsors

About

Navigation

Connect With Us

Copyright ©2013-2024 SMG   |  Terms of Service  |  Privacy Policy