分类	产品名	制造商
逻辑综合器、静态时序分析	Blast RTL	美国MAGMA公司
VHDL/Verilog-HDL Simulator（仿真工具）	Active-HDL	美国Aldec公司
混合语言仿真	NC-sim	美国Cadence Design Systems公司
Verilog仿真器	Verilog-XL
System C 仿真器	NC- System C
VHDL仿真器	NC- VHDL
物理综合工具	PKS
超级综合工具（带有最优化配置功能）	BuildGates Extreme
Verilog仿真/VHDL编译器	VCS/Scirocco	美国Synopsys公司
RTL级逻辑综合工具	DC expert
Vhdl/Verilog混合语法和设计规范检查器	LEDA
FPGA综合器	Synplify PRO	美国Synplicity公司
物理综合	Amplify
测试与原型验证	Certify SC
VHDL/Verilog-HDL 仿真工具	ModelSim	美国Mentor Graphics公司
Verilog-HDL仿真工具	TauSim	美国Tau Simulation公司
Hardware Accelerator	ARES	美国IKOS Systems公司
Static Timming 解析工具	EinsTimer	美国IBM公司
逻辑Simulator(仿真)	Explore	美国Aptix公司
	Xcite	美国Axis Systems公司
	VirtuaLogic	美国IKOS Systems公司
	VIVACE	美国Mentor Graphics公司
功耗解析/最优化工具（RTL）	WattSmith	美国Sente公司
逻辑验证工具（测试向量生成）	Specman Elite	美国Verisity Design公司
CODE・COVERAGE工具，状態COVERAGE工具	Verification Navigator/State Navigator	美国TransEDA公司
Formal・Verifier（等价性评价）	BoolesEye	美国IBM公司
	Tuxedo	美国Verplex Systems公司
HDL调试工具	Debussy	美国Novas Software公司
电路合成工具，行为级合成工具（VHDL编程）	BooleDozer	美国IBM公司
High Level电路合成工具	eXplorations Tools	美国Explorations公司
RTL设计	TeraForm	美国Tera Systems公司

模拟/数.模混合信号电路设计工具

Hard/Soft协调设计工具

LSI Layout设计工具

测试工具

印刷电路版设计工具