Defacto’s STAR augments existing RTL verification flows by providing fully automated structural checks. Users can also define and build their custom checks.



    • 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



    • 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