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