2.EDA技术中，用于在设计阶段对硬件系统进行验证，确保功能正确性的软件工具是（ ）。