仿真、硬件和系统设计工具(参考译文帖) has not yet been mentioned.