Software verification
Software-to-hardware compiler
SOI circuit design method
Solving constraint satisfiability problem for circuit designs
Solving line-end shortening and corner rounding problems by...
Sorted data outlier identification
Source specific timing checks on synchronous elements using...
Source synchronous timing extraction, cyclization and sampling
Source synchronous timing extraction, cyclization and sampling
Space classification for resolution enhancement techniques
Space classification for resolution enhancement techniques
Spacer fill structure, method and design structure for...
Spacing violation checker
Spacing violation checker
Spanning tree method for K-dimensional space
Spare cells placement methodology
Spatial characteristic and logical hierarchy based manner...
Spatial signature analysis
Special engineering change order cells
Special tie-high/low cells for single metal layer route changes