中国民航大学科创院依《横向科研发展基金》项目采购需求，现将有关信息公示如下：

1、采购需求项目名称：FPGA仿真验证平台及案例研究服务

2、数量：1套

3、采购用途：

针对单位所提供的FPGA仿真工具软件，搭建自动化FPGA仿真验证平台，基于该平台，乙方将能够自主搭建一个专门用于FPGA设计的仿真验证平台，利用此平台，能够兼容对所有FPGA设计进行全面且高效的验证。

4、项目技术要求：

4.1 总体要求

本项目要求乙方针对某硬件测试仿真工具软件，提供一套完整的FPGA仿真验证平台。基于平台提供适用于GJB9433、DO-254标准的案例。

4.2 FPGA仿真平台技术要求

针对主流FPGA仿真工具搭建自动化FPGA仿真验证平台，支持多种语言，如SystemVerilog、VHDL、Verilog、TCL、makefile和Shell等；

（1）FPGA仿真验证平台的基本要求如下：

l 支持Windows、Linux等主流操作系统；

l 具备RTL级和门级电路仿真功能；

l 支持代码覆盖率统计的功能，具备对每条覆盖率分支进行独立分析的功能；

l 支持逻辑分析、性能分析、时序分析等多种调试功能，使得用户可以快速定位和解决设计中的问题；

l 具备仿真环境创建功能；

l 具备动态自动化批处理仿真验证能力；

l 能自动完成动态仿真并保存相关仿真数据。

（2）应具备良好的可学习性和可培训性，并能够提供完整的用户手册和在线帮助文档。

（3）仿真平台应能够兼容不同的FPGA型号和规格。

（4）具备硬件多种仿真类型的仿真验证环境管理、配置功能。

（5）仿真系统应能够与主流的开发环境和仿真验证工具集成。

（6）仿真系统应能够提供可定制的仿真验证脚本。

4.3 GJB9433标准的案例技术要求

（1）应支持多种文档格式，如Word、Excel等，以便于用户创建和管理验证文档。

（2）具备仿真验证样例集，仿真用例不少于50项，包括功能仿真验证、时序仿真验证、逻辑仿真验证、边界仿真验证、性能仿真验证等等。

（3）案例应至少包括：仿真验证大纲、仿真验证记录、仿真验证问题单、仿真验证报告。

4.4 DO-254标准的案例技术要求

（1）应支持多种文档格式，如Word、Excel等，以便于用户创建和管理验证文档。

（2）具备仿真验证样例集，仿真用例不少于50项，包括功能仿真验证、逻辑仿真验证、设计检查等等。

（3）包含完成的仿真验证文件，仿真验证规程、仿真验证报告、验证追踪矩阵。

4.5 其他要求

（1）FPGA仿真验证平台一套，满足4.2章节技术要求，且提供FPGA仿真验证平台使用手册一套；

（2）投标人针对GJB 9433标准提供1套完整的仿真验证技术方案，提供一套满足4.3要求的案例数据。

（3）投标人针对DO-254标准中仿真验证的目标要求，提供1套仿真验证技术方案，并提供一套满足4.4要求的案例数据。

5、公告公示及报名时间

自公告发布日至2024年11月21日

6、报名要求

凡有意参加的供应商，请于2024年11月21日（周四）16：00前进行报名，报名信息（单位名称、委托代理人姓名、委托代理人手机号）发送至邮箱knwang@cauc.edu.com，对逾期报名的邮件，不予受理。

7、递交必选文件

7.1.比选文件递交时间

2024年11月22日（周五）14:00-16:30。对逾期送达的或者未送达指定地点的报价文件，不予受理。

7.2.递交比选文件地点

天津市东丽区津北公路2898号中国民航大学南院适航飞大楼306办公室。请提前在“平安航大”微信公众号，点击“航大卫士”，选择“校外人员入口”，点击进入后填写本人基本信息，其中访问部门选择“28科技创新研究院”，工作楼宇选择“适航飞大楼”，进校事由，请填写“递交比选文件”。（联系人：汪老师，联系电话：15822969896）。

7.3.比选文件要求

所有参加比选的供应商应编制比选文件，内容包括但不限于：

（1）资格证明及服务要求响应文件一份（密封并加盖公章）；

（2）报价文件1份（密封并加盖公章）。

注：项目拦标价为48万元

以上（1）和（2）分别密封在两个文件袋中，并加盖公章。

8.联系方式

（联系人：汪老师，联系电话：15822969896）

中国民航大学科技创新研究院

2024年11月15日