BSD Compiler is an automated tool for the synthesis and verification of boundary scan logic in ASICs and ICs within the Design Compiler™ synthesis environment.

DFT Compiler - Synopsys' design-for-test (DFT) synthesis solution - delivers DFT transparently within Synopsys' logical and physical synthesis flows with fastest time to results.

DFT MAX compression is a comprehensive scan compression solution that addresses the cost challenges of testing designs fabricated in 130-nm and smaller process technologies.

TetraMAX® ATPG automatically generates high quality manufacturing test patterns.

Design Compiler at its best

Extending Design Compiler topographical technology to predict and alleviate routing congestion

Equivalence checking for DC Ultra