fact sheet

SLEC System Factsheet

Siemens Digital Industries Software High-Level Verification

SLEC System

SLEC System is a good fit for design teams verifying their RTL implementation by formally comparing it against functional SystemC/C++ models, as it significantly reduces the time and effort to establish confidence that the intended functionality is maintained.

The system models can be leveraged completely for verifying the RTL blocks without the need for testbenches and tests by using a Tcl setup, making the tool intuitive and easy to use. This approach is helpful both where design flows involve C-level descriptions and where exorbitantly large state spaces make simulation-based verification approaches impractical.

Share

Related resources

Aircraft ground vibration testing
White Paper

Aircraft ground vibration testing

Accelerate airworthiness certification with Simcenter: Learn how to perform more efficient aircraft ground vibration testing (GVT).

Digital image correlation for aircraft materials and structural testing
Webinar

Digital image correlation for aircraft materials and structural testing

Watch this webinar on aircraft materials and structural testing to learn how digital image correlation alleviates limitations and offers new insights.

Accelerate ground vibration tests and increase efficiency in the aircraft certification process
Webinar

Accelerate ground vibration tests and increase efficiency in the aircraft certification process

Performing a ground vibration test more efficiently. Learn how to increase efficiency in identifying modal parameters of large vibrating structures.