test2
test
test4

  

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: IPXACT, 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, IPXACT,
    • 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 :

Contact us or Access to Videos and Datasheets