SLEC System Factsheet
Siemens Digital Industries Software High-Level Verification
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.
相關資訊
Improve your ship design process with faster hydrodynamic simulations
Create faster hydrodynamic simulations while optimizing the shipbuilding design process. Save time by using these CFD simulation software techniques.
Simulation process and data management for ship design
Learn how to create a seamless ship design workflow with simulation and data sharing. Ensure effective collaboration and provide the right information.
Unleash the power of an integrated CAE workflow for efficient design of fast boats
Learn how you can create a propulsion system with systems simulations and deploy it in a computational fluid dynamics (CFD) self-propulsion simulation to assess the maximum speed.