close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Using Verification Data More Effectively

By: Ann Steffora Mutschler

There are more tips and tricks than ever to get the most from verification.

“The data needs to be compressed as much as possible, giving the user the option to allow the data to be saved on their server,” said Vladislav Palfy, director of applications engineering at OneSpin Solutions. “Formal tools can provide advanced in-code waivers, as well as the possibility to have complex waiver definitions. This allows the user to reduce the amount of data generated by the tool. Having focused info on real design issues can be achieved through formal techniques and can help improve design quality early in the process. Pulling the verification curve further to the left ultimately cuts verification time significantly.”

[...]

“We’re all going to find the fastest way to get the data, whether that’s through reconstruction, whether it’s through the duplication, whatever it is that you need to do,” Hand said. “You’re going to make those files smaller. The bigger question is, do you have a collaborative environment or an individual environment? For some data, an individual environment is all you need, so a reconstructed database for desktop debug for a designer is all good. But if you have a design methodology where you have to start handing off data — and coverage is a good example — then you want to have a database-driven approach where you can share that and people don’t have to sync up all the data. They can just say, ‘My tools can look into this data, give me the information I need.’ And not only that, now you have a centralized database, you can start using AI and ML on that database, and it becomes so much more powerful. And honestly, if the database size is terabytes, I don’t care because I’m getting richer data, and it becomes a different question. And then, how do you analyze that data holistically?”g

Back

Related Links