感谢大家一直以来对采购与招标网的关注和支持。基于业务整体发展的需要，更为进一步提升网站服务水平，我平台近期对网站系统进行了全面改版升级，推出以元博网为核心的综合性服务平台，旗下产品“采购与招标网”、“元博网关系圈”、“元博网大数据”业务覆盖整个招投标产业链，为市场各方在招投标过程中产生的各类需求提供一站式的整体解决方案。
新网站已于2021年1月20日上线试运行，试运行期间原“采购与招标网” 会保持并行，给大家带来的不便，敬请原谅，如有任何问题、意见请拨打400热线，我们将一如既往竭诚为您服务！
热线 400-006-6655 转1业务咨询；2发布信息；7售后服务；
二十多年来，我们始终坚持“专注业务，成就客户”的发展理念，用匠心创造价值，让信息连接未来。
我们的使命是：让天下没有难中的标。
祝商祺！
采购与招标网
2021年01月25日
当前位置：首页 > 招标信息 > 珠海南方集成电路设计服务中心国产数字电路形式化验证平台采购项目单一来源采购公示
| 招标编号：立即查看 | 开标时间：立即查看 |
| 招标人：立即查看 | 标讯类别：立即查看 |
| 资金来源：立即查看 | 招标代理：立即查看 |
| 公告信息： | |||
| 采购项目名称 | 珠海南方集成电路（略）国产数字（略）采购项目 | ||
| 品目 | 货物/其他货物/其他不另（略）类的物品 | ||
| 采购单位 | 珠海南方集成电路（略） | ||
| 行政区域 | 珠海市 | 公告时间 | （略）年（略）月（略）日 （略） |
| 预算金额 | ￥（略）.（略）（人民币） | ||
| 联系人及联系方式： | |||
| 项目联系人 | 邓俊轩 | ||
| 项目联系电话 | （略）-（略） | ||
| 采购单位 | 珠海南方集成电路（略） | ||
| 采购单位地址 | 珠海（略）哈工大路1号1栋B（略） | ||
| 采购单位联系方式 | （略）-（略） | ||
| 代理机构名称 | 大（略） | ||
| 代理机构地址 | 珠海市香洲区（略）层（略） | ||
| 代理机构联系方式 | 邓俊轩（略）-（略） | ||
一、项目信息
采购人：（略）成电路（略）
项目名称：珠海南方集成电路（略）国产数字（略）采购项目
拟采购的货物或者服务的说明：
1.项目基本情况及要求：
数字（略），采购数量（略）套，国产品牌，预算金额为人民币（略）（¥1,（略）,（略）.（略））。
2.供应商资格要求：
①供应商须为在中华人民共和国境内注册的法人或其他组织或事业单位或社会团体或自然人；
②具有良好的商业信誉和健全的财务会计制度；
③有依法缴纳税收和社会保障资金的良好记录；
④提供具有履行合同所必需的设备和专业技术能力的书面声明；
⑤供应商近三年以来（谈判公告发出之日开始计算）在经营活动中没有重大违法记录；
⑥供应商（略）采购活动且在有效期内的情况；
⑦本项目不接受联合体报价。
拟采购的货物或服务的预算金额（略）.（略） （略）（人民币）
采用单一来源采购方式的原因及说明:
1.市场供应情况（是否只能从唯一供应商处采购）：是。
在芯片的研制过程大致（略）为两部（略），一部（略）是前端（也叫逻辑设计），一部（略）是后端（物理实现），而验证环节贯穿需求定义到最后的物理实现，以及到芯片流片之后的测试都有需要验证人员的参与，也就是说验证贯穿了（略）个芯片研制的全过程。一款没有经过验证或者验证不完备的芯片，其本身的功能是不能得到保证的，一旦芯片带着问题流片，带来的损失将是不可估量的。一般验证方法学通常具有以下原则: 1.受约束随机激励，定向测试； 2.功能覆盖；3.（略）； 4（略）。在以上各个方面，等价验证方法的都具备非常好的支持。数字（略），包含等价性验证、连接检查和高阶综合，等价性验证是用数学方法验证参考设计与修改设计之间的等价性，连接检查用于检查设计中端到端是否存在物理连接，路径延迟等是否符合设计规范等，高阶综合是将高层次语言（C/C++）描述的逻辑结构，自动转换成低抽象级语言描述的电路模型（RT（略），对于所服务的企业涉及数字前端的设计，完全可以采用形式化验证的方式完备的验证功能正确性。早期可以快速发现bug，不再需要写激励，节省时间，加快迭代速度。后期可以完备的证明，确保质量可靠。
本次珠海南方集成电路（略）采购的国产数字（略）核心技术性要求：
（1）形式化等价验证工具：支持对可综合的C/C++和Verilog程序做等价验证；支持对可综合的C/C++和C/C++程序做等价验证；支持对可综合的RTL和另一个RTL等价验证；支持原型验证流程中提供等价性验证的能力，包括对于Partition、Functional ECO等操作前后进行等价性验证；
（2）组合逻辑等价性验证工具：支持Verilog、System Verilog、VHDL、EDIF等多种设计格式读取；
（3）高层次综合工具：支持行业标准的C/C++语言；支持时序约束、硬件资源约束等多种设计约束；支持标准C(math.h)和C++(cmath.h)数学库的***plex数据的abs, asin, acos, atan, copysign, exp, log, log（略）, sqrt, sin, cos, tan, floor,pow, mod等诸多数学运算。
(4）连接性检查工具（略） I/O 连接性检查；模块引脚复用/解复用；宏的连通性检查；Res（略）信号连接；集成IP的连接性检查。
EDA行业主要的形式验证工具供应商当（略）是目前国内唯一自主研发等价性验证技术的EDA（略）提供商。
鉴于上述采购产品技术要求特殊性以及国产供应商技术唯一性，根据相关法律法规要求，拟申请进行单一来源采购。
二、拟定供应商信息
名（略）
地址：（略）创业园2号楼（略）
三、公示期限
（略）年（略）月（略）日 至 （略）年（略）月（略）日
四、其他补充事宜：
五、联系方式
1.采购人
联系人：（略）成电路（略）
地址：（略）1号1栋B（略）
联系方式（略）-（略）
2.财政部门
联系人：（略）
联系地址：（略）
3.采购代理机构信息
名 称：大（略）
地 址：珠海市香洲区（略）层（略）
联系方式：邓俊轩（略）-（略）
内容查看DDXE;EEXE;FFXE;
XXXXXX代理机构四XXXXXXX代理机构联系电话XXXXXXX西段X号代理机构联系人XXXXXX岷XXX管理委员会项目名称江口崖墓旅游厕XXX部改造方案设计项目联系人郭女士项目联系电话X成交价X.......
青海铭驰工程项目管理有限公司关于海南州共和县黑马河道路延伸工程-设计中标(成交)结果公告
一、项目编号：青海铭驰竞磋（服务）X-X二、项目XXXXXXXXX-设计三、中标（成交）信息1.中标结果：序号中标（成交）金额X中标供应商名称中标供应商地址1报价X（X）大洲设计咨询XXXXXXXXX......
为配合政府实施《中华人民共和国招标投标法》以及规范公共采购市场的需求，于1998年在北京注册成立，已持续运营二十四年。
24小时，时时更新全国31个省、市、自治区及各类金融组织贷款项目招标信息，包括世行、亚行项目的招标和采购信息。
根据用户的行业、地区、偏好等，有针对性、及时的为用户智能推荐所需的信息，以极高的专业度满足不同用户的个性化需求。
咨询热线：400-006-6655
招标公告 | 市级招标
京公网安备 11010802021866号尊敬的用户：
避免给您造成经济损失，请仔细阅读!
您好！目前市场已经进入招标旺季，一些“钓鱼网站”，通过短信、邮件等方式，以我网的名义给广大用户发送到期通知，导致一些用户汇错款项，造成了不必要的经济损失。
在此提醒广大用户，请在办理续费前，与您的客服专员联系或拨打 400-006-6655 核对汇款信息！
温馨提示：元博网采购与招标网首页右侧可随时查看账号的到期时间及专属客服联系方式。
元博网采购与招标网
注册代表您同意本网站 隐私政策 和 用户服务协议
登录密码已发送短信至注册手机！请妥善保存
2024年开启，元博网为您的招投标事业助力，注册即可享好礼，礼品二选一！
热门标签
地区招标
推荐频道
