SoC Signoff & Structural Verification
DeFacTo Technologies (DeFacTo)
Defacto’s STAR augments existing RTL verification flows by providing fully automated structural checks. Users can also define and build their custom checks.
DeFacTo Technologies (DeFacTo)
Defacto’s STAR augments existing RTL verification flows by providing fully automated structural checks. Users can also define and build their custom checks.
