软件名称：
7.2 Some Examples In SoC Verification
下载地址列表：
镜像地址一
