ESL/Architectural Design
	Software Development
	Behavioral Simulation
	Design Entry
	Design Synthesis
	Functional Verification
	TB Generation   Simulation   Emulation   Design Analysis   Formal Tools   Acceleration   HW/SW CoDesign/ Verification   Debug Tools   Verification IP
	Analog/RF/Mixed Signal
	Design Planning
	Floorplanning   Design Analysis
	Timing & Power Analysis
	Design for Test (DFT)
	ATPG   Scan Insertion

 

	Physical Design
	Physical Synthesis
	Extraction
	Post Layout Checks
	Physical Verification
	Circuit Simulation
	Design for Manufacturing
	Front End EDA
	Back End EDA
	SoC Development

 

	Frameworks
	Collaboration Tools
	Data Management
	Grid Computing
	Libraries
	Development Tools
	Packaging
	IC Test
	Structured ASIC
	Programmable