Services
Physical and Timing Methodology Development
ASIC Design
Fabless Integrated Circuit Design

Tools

Synopsys -- IC Compiler, Design Compiler, Primetime, Primetime VX, Primetime SI, Physical Compiler, Astro, Power Compiler, Tetramax, Formality, VCS, VERA, HerculesDRC

IBM -- EinStat, EinsTimer, The Guide, Chipbench

Cadence Design System - FirstEncounter, NC-Verilog

Mentor Design System - Modelsim, DFT, Fastscan, Calibre

Magma - BlastFusion, QuartzTime

Verplex - Logic Equivalence Checker

LogicVision - ETCreate, memBIST, logicBIST

Synchronicity - DesSync, ProjectSync

Technologies

LSI Logic (G65, G90, Gflx, G12, G11, G10)

TSMC (40nm, 65nm, Artisan 18G, Artisan 18LV, Artisan 13G, Nurlogic, CCube13)

IBM (8SF, 9SF, 10SF, Cu-65HP)