The Impact Of Domain Crossing On Safety
By Brian Bailey, Semiconductor Engineering
Semiconductor Engineering sat down to discuss problems associated with domain crossings with Alex Gnusin, design verification technologist for Aldec; Pete Hardee, director, product management for Cadence; Joe Hupcey, product manager and verification product technologist for Mentor, a Siemens Business; Sven Beyer, product manager design verification for OneSpin; and Godwin Maben, applications engineering, scientist for Synopsys. Part one can be found here. Part two is here. What follows are excerpts of that discussion.
Beyer: On the vendors side, we are obliged to do more in the automation space. With the huge numbers of waivers and the extent that some customers may have to go to, we have to be looking to see if there is anything safe that you can find under the hood. After performing structural analysis using formal or other technology that may add other layers of safety, then you don’t need to report it at all. Try and get things more precise. We also can do more with grouping by making it more accessible and easy to use. You also need the understanding.