包号

采购内容

中标供应商及中标金额

A1

预言性电子系统

上海国际科学技术有限公司，中标金额：*******.00。

A2

低功耗设计估算工具

上海国际科学技术有限公司，中标金额：599800.00。

A3

ESL等效验证工具

北京阿尔戴信息技术有限公司，中标金额：850000.00。

A4

嵌入式实时开发测试系统

山东欣达实业有限公司，中标金额：*******.00。

A5

嵌入式软件测试平台

神州数码系统集成服务有限公司，中标金额：*******.00。

序号

货物名称

品牌型号

货物生产地

数量

1

预言性电子设计软件

Atrenta，Spyglass1TA-OPT-SPY

美国

1个商业

2

预言性电子设计软件

Atrenta，Spyglass1TA-OPT-SPY

美国

5个大学计划

序号

货物名称

品牌型号

货物生产地

数量

1

集成电路低功耗设计估算工具

Cadence

爱尔兰

1

序号

货物名称

品牌型号

货物生产地

数量

1

ImpulseC

Codeveloper 3.70.b.7

美国

1套商业

序号

货物

名称

品牌

型号

货物生产地

数量

1

嵌入式实时开发测试系统

Wind River Test Management 3.4 with Wind River Test Management 3.4 application seats and developer Plug-ins

Wind River（风河） V3.4

美国

6

Wind River Test Management 3.4 with Wind River Test Management 3.4 application seats and developer Plug-ins

Wind River(风河)

原厂商标准服务

美国

3年

University Plan for Wind River Test Management 3.4 with Wind River Test Management 3.4 application seats and developer Plug-in

Wind River（风河） V3.4教育版

美国

10

2

嵌入式软件单元测试工具

Cantana++ 6.0 for Wind River Workbench

IPL

V6.0

美国

7

Support and Maintenance for Cantana++ 6.0 for Wind River Workbench

Wind River

原厂商标准服务

美国

3年

University Plan for Cantana++ 6.0 for Wind River Workbench

IPL

V6.0教育版

美国

10

序号

货物名称

品牌型号

货物生产地

数量

1

单元测试工具Parasoft C++Test Professional Edition

Parasoft

V9.2

美国

1

2

单元测试工具Parasoft C++Test Professional Edition

Parasoft

V9.2

美国

1

3

单元测试工具Parasoft C++Test Embedded Edition

Parasoft

V9.2

美国

1

4

单元测试工具Parasoft C++Test Embedded Edition

Parasoft

V9.2

美国

1

5

虚拟环境测试软件Parasoft Virtualize

Parasoft

V9.2

美国

2

6

源代码安全漏洞扫描工具HP Fortify SCA Starter Pack

惠普

V3.10

美国

1