Jul. 11, 2018 –
Semiconductor Engineering sat down to discuss the transformation of verification from a tool to a flow with Vladislav Palfy, global manager application engineering for OneSpin Solutions; Dave Kelf, chief marketing officer for Breker Verification Systems; Mark Olen, product marketing group manager for Mentor, A Siemens Business; Larry Melling, product management director, System & Verification Group at Cadence; and Roger Sabbagh, vice president of applications engineering for Oski Technology. What follows are excerpts of that conversation. Part one of this discussion is here.
SE: This time last year, we talked about Portable Stimulus (PS) and formal. Has any progress been made in bringing these two technologies together?
Sabbagh: We have been talking about making stuff work across the dynamic engines, but formal is not given any consideration.