Defacto’s STAR augments existing RTL verification flows by providing fully automated structural checks. Users can also define and build their custom checks.
Benefits
- Monitor real time the IP integration process
- Validate quickly 3rd party source IPs
- One design centric checking solution instead of several tools to cover all coherency verification needs between RTL/ gate-level design and design collaterals: IP-XACT, UPF, Liberty, SDC, LEF/DEF
- Replace tedious simulation work by structural connectivity checks
- Detect and fix earlier testability issues
- Highlight complex and difficult to maintain RTL code
- Develop user-driven and custom checks
Features
- Simulation-Free Connectivity Checks
- Design Centric Multi-View Coherency Checks including RTL, Gate-level, IP-XACT, SDC, UPF, LIBERTY and LEF/DEF
- UPF basic and advanced checks
- RTL DFT Signoff & Planning
- RTL advanced linting and code complexity metrics
For More Information :
