A formal verification product line that allows for both the automated checking and full assertion-based verification of SystemC/C++ design representations.
OneSpin Solutions provides its popular 360 DV formal verification product line, which allows for both the automated checking and full assertion-based verification of SystemC/C++ design representations. This solution extends the verification capability that may be applied to abstract designs, coded in SystemC/C++ for many different use models.
This white paper describes the OneSpin solution and explains how it accelerates and improves verification of SystemC/C++ designs.
Click here to continue.
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Leave a Reply