下面哪一款软件是Aldec公司开发的一个开放型的仿真工具?