LUBIS EDA
LUBIS EDA Launches FormalOS: Infrastructure for Systematic, Scalable Formal Verification
Real Intent, Inc., today announced SafeConnect, a user-defined connectivity & glitch static sign-off tool. SafeConnect enables early RTL and netlist sign-off within IP blocks or across SoCs. Design and verification engineers can quickly define rules for various source-destination types. SafeConnect has low noise reporting and integrated debug. Its high-capacity analysis is expected to be about ten times faster than formal solutions and Tcl-based scripting.
Shift Left with Early RTL/Netlist Connectivity & Glitch Sign-Off
Real Intent SafeConnect is deployed during key stages of the IP and SoC design process.
Users Can Efficiently Define a Variety of Sign-Off Rules
Design and verification engineers can quickly and flexibly create a diverse set of rules for connectivity and glitch sign-off. Additionally, users can take advantage of Real Intent’s existing documented library of checks. Some representative rules that customers have created are:
SafeConnect also allows more granular sub-checks to further reduce noise in the violation reports. Examples of sub-checks are cross connect, source miss, extra connection, and bit flip.
The specification effort is minimal due to efficient, flexible commands, compared to the tedious and error-prone CSV or complex Tcl coding required by other approaches. The tool also accepts UPF as direct input to further ease the specification effort.
Individual designers precisely control which rules and sub-checks to run and report.
SafeConnect Outperforms Scripts & Formal Approaches
Real Intent SafeConnect’s unique high capacity makes it suitable for both block level and SoC-level sign-off. Black boxing is available, but not required for large designs – unlike other solutions. Additionally:
Further, only minimal ongoing maintenance and support is needed for SafeConnect, compared with the extensive effort required for Tcl-based scripting.
For more information on SafeConnect, please visit https://www.realintent.com/connectivity-glitch-sign-off-safeconnect/.