Defacto is an EDA company, providing tools for SoC Integration| defactotech.com
STAR augments existing RTL verification flows by providing fully automated structural checks. Users can define and build their custom checks.| defactotech.com
