Aldec	AMIQ	Ammos Software Technologies
ARM	Avery Design Systems	Blue Pearl Software
Bluespec	Callidus Systems	Calypto
Certess	Chipright	ComputerBasedEducation
Contemporary Verification Consultants	DefineView Consulting	Denali
Doulos	eInfochips	Esterel Technologies
EVE	ExpertIO	ForteLink Inc.
Fore River Group	HCL	Ingot Systems
Innovative Logic	IntelliProp, Inc	Interra Systems
Intrinsix	IPextreme	JEDA Technologies
Kacper Technologies Pvt Ltd	Krispan	Masamb Electronics Systems
MindTree Consulting	NoBug	Novas Software
nSys Design Systems	Paradigm Works	Patni
Perfectus Technology	Persistent Systems	Productivity Design Tools
Rainbow Cyclone	Real Intent	Semifore
Silicon Interfaces	Silicomotive Solutions	SONAC
Sunburst Design	Sutherland HDL	Synopsys
Syosil	Tes Electronic Solutions	TooMuch Semiconductor
TransEDA	Trustic	UV-Tech Consulting & Training
VeriEZ Solutions	Verific Design Automation	Verification Central
Verifore Inc.	Verilab	VeriSure Digital
Wipro Technologies	XtremeEDA Corporation	Zocalo Tech, Inc.