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