资讯
鲲云科技采用芯华章穹瀚GalaxFV 加速AI芯片设计(2022-06-27)
设计效率进一步提升。
鲲云科技首席技术官蔡权雄表示：“我们采用芯华章的穹瀚(GalaxFV)形式化验证工具，通过数学方法快速检查逻辑以及属性的正确性，大大提高了覆盖率目标实现的效率，对工程应用有很高的价值。未来......
蓉城新居，思有新程(2022-07-13)
。
阿卡思总经理袁军在启动仪式上致词表示：“EDA是一个高技术门槛和需要长时间积累的行业，阿卡思从创立至今一直秉持客户优先的原则，致力于为客户提供优质的形式化验证产品及服务，四年多以来，公司......
MBSE咨询服务与工具——MBSE在汽车行业的应用(2024-05-27)
中的应用
咨询服务
MBSE流程咨询与实施:车载嵌入式软件流程、需求管理、需求采集、需求分析、功能设计、架构设计、需求形式化验证、功能验证、架构验证、需求发布和复用过程和工具咨询及实施
MBSE......
后摩尔时代,十大EDA验证技术趋势展望(2023-01-16)
的加速，这也是众多DSA 架构团队非常有兴趣的应用领域。
● 形式化验证更广泛应用，逐渐成为验证核签（Sign-off）的必备工具
仿真方法学的应用虽然普遍，但也有其验证不完整、耗费......
为汽车芯片安全加码 芯华章穹瀚GalaxFV获ISO 26262国际标准认证(2024-04-24 16:05)
精确地表示和操作大型数据结构。这种建模方法在处理复杂的大芯片设计时，能够有效减少客户设计模型的复杂程度，从而加快验证速度。同时高度并发的验证引擎，支持利用更多计算资源并发求解，也保证了验证更快收敛，缩短验证周期。因此，借助芯华章形式化验证......
为汽车芯片安全加码 芯华章穹瀚GalaxFV获ISO 26262国际标准认证(2024-04-24)
，借助芯华章形式化验证高效引擎，穹瀚GalaxFV 能够系统地探索设计的所有可能状态，达到更高的验证覆盖率。
结合上面这些技术特点，穹瀚GalaxFV在多家客户设计流程中给出了亮眼的性能表现，相比于现有的形式化验证......
“第四届国产嵌入式操作系统技术与产业发展论坛”圆满结束(2022-12-21)
物联网及智能化等技术的发展，嵌入式系统的软硬件复杂度不断提升，安全性面临很多新的挑战。李博士介绍，当前嵌入式软件开发中存在两个问题：一是形式化验证尚存瓶颈，主要适用于内核、驱动、Hypervisor等核......
“第四届国产嵌入式操作系统技术与产业发展论坛”圆满结束(2022-12-21)
性面临很多新的挑战。李博士介绍，当前嵌入式软件开发中存在两个问题：一是形式化验证尚存瓶颈，主要适用于内核、驱动、Hypervisor等核心组件，较难满足上层应用开发对迭代效率和成本控制的需求；二是软件脆弱性风险激增，功能......
芯华章与啄木鸟半导体建立EDA深度合作 打造完备RISC-V芯片验证与测试解决方案(2024-03-19)
的效率和精确性，为整个芯片设计流程赋予高效和安全性。
啄木鸟半导体的Acuity Optimize产品与芯华章GalaxFV形式化验证产品具备巨大的合作潜力。针对客户的处理器设计，形式化完备的验证......
敏捷验证创新成果再获认可！芯华章荣膺“2022－2023中国EDA优秀产品”(2023-04-28 11:19)
领域拥有强大的技术团队和丰富的服务经验，自主专利授权突破50件，其产品涵盖原型验证、硬件仿真、逻辑仿真、形式化验证、智能场景验证、调试等多个使用场景，搭建了完整、高效的数字验证全流程工具链。产品全面对标国际领先水平，并已......
芯华章与啄木鸟半导体建立EDA深度合作 打造完备RISC-V芯片验证与测试解决方案(2024-03-20)
的效率和精确性，为整个芯片设计流程赋予高效和安全性。啄木鸟半导体的Acuity Optimize产品与芯华章GalaxFV形式化验证产品具备巨大的合作潜力。针对客户的处理器设计，形式化完备的验证......
基于形式验证的高效 RISC-V 处理器验证方法(2023-05-31)
也存在不同的技术方法来增加该周期循环次数，或获得“已证明”或“失败”的答案。
形式验证用于以下情况：
●为完整的验证一个模块，潜在地消除了任何仿真的需要。由于形式验证的计算复杂性，形式化验收（sign-off）仅限......
“第四届国产嵌入式操作系统技术与产业发展论坛”圆满结束(2022-12-21)
名古屋大学情报学研究科助理教授 李奕骁博士
随着物联网及智能化等技术的发展，嵌入式系统的软硬件复杂度不断提升，安全性面临很多新的挑战。李博士介绍，当前嵌入式软件开发中存在两个问题：一是形式化验证尚存瓶颈，主要适用于内核、驱动......
敏捷验证创新成果再获认可！芯华章荣膺“2022-2023中国EDA优秀产品”(2023-04-28)
领域拥有强大的技术团队和丰富的服务经验，自主专利授权突破50件，其产品涵盖原型验证、硬件仿真、逻辑仿真、形式化验证、智能场景验证、调试等多个使用场景，搭建了完整、高效的数字验证全流程工具链。产品全面对标国际领先水平，并已......
大突破：美国核武器要这么玩 区块链技术控制(2016-10-12)
被公认为“形式验证（Formal Verification,）”领域的领军企业。至于“形式验证”则可以概括为：通过形式化验证过程，证明一个系统不存在某个缺陷，同时匹配某个或某些属性。
而KSI系统......
“智·变·拓·界”——盘点英特尔中国研究院的创新(2023-04-06)
基于参数化设计和高级语言开展的设计和架构探索、高级语言和形式化验证以及软硬件快速性能分析评估。
张旭表示，RISC-V指令集具有灵活、开放、可缩放的特性，并且拥有成熟的工具链和生态，同时......
“智·变·拓·界”——盘点英特尔中国研究院的创新(2023-04-07 10:38)
率。据悉，目前英特尔中国研究院正在全力打造一个基于RISC-V敏捷开发验证全流程的闭环工具链，包括基于参数化设计和高级语言开展的设计和架构探索、高级语言和形式化验证以及软硬件快速性能分析评估。张旭......
携手华为鲲鹏 芯华章助力打造国产EDA平台(2024-04-30)
在鲲鹏服务器集群上实现性能的超越。多线程、多进程等并行计算方式的开发，就是其中一个重要方向。
基于鲲鹏处理器等国产架构，芯华章逻辑仿真器GalaxSim、形式化验证工具GalaxFV，都能......
携手华为鲲鹏 芯华章助力打造国产EDA平台(2024-04-30 14:22)
在鲲鹏服务器集群上实现性能的超越。多线程、多进程等并行计算方式的开发，就是其中一个重要方向。基于鲲鹏处理器等国产架构，芯华章逻辑仿真器GalaxSim、形式化验证工具GalaxFV，都能......
仿真加速系统、Protium X2原型验证系统、Xcelium Logic Simulation逻辑仿真器、JasperGold Formal Verification Platform形式化验证平台以及Cadence智能验证......
芯华章、酷芯微电子、鑫芯半导体、芯谷微获得数亿元融资(2022-01-06)
系统桦捷（HuaPro-P1）、国内领先的数字仿真器穹鼎（GalaxSim-1.0）、新一代智能验证系统穹景（GalaxPSS）、国内率先基于字级建模的可扩展形式化验证工具穹瀚（GalaxFV......
技术白皮书 利用先进形式验证工具来高效完成RISC-V处理器验证(2023-06-15)
的瑞士奶酪模型方法 - 博客文章：
本文摘录于《基于形式的高效 RISC-V 处理器验证方法 – 形式化验证》白皮书，出版人为总部位于欧洲的全球领先RISC-V供应商和处理器解决方案领导者，该公......
Cadence 发布 Verisium AI-Driven Verification Platform,引领验证效率革命;新一代多运行、多引擎验证工具，利用大数据和人工智能来优化验证负载，提高......
基于模型设计提高车规级芯片功能安全设计效率(2023-07-27)
-certified library。
PolyspaceTM 可以对芯片底层软件进行符合 ISO 26262 功能安全的验证。Polyspace 是基于抽象解释原理的代码级静态分析和验证工具，使用形式化......
基于模型设计提高车规级芯片功能安全设计效率(2023-07-27)
师使用 Polyspace Code ProverTM完成耗时的第三阶段[4]。Polyspace 的形式化方法内核还帮助 Elektrobit 验证高度可配置软件，从耗时的数千次的边界检查方法中解脱。他们......
横河电机与微波化学签订联合开发协议，构建使用微波加热的小型分布式化学回收系统(2023-11-01 09:52)
成了一项协议，共同开发小型分布式化学回收系统。
两家公司用于验证和测试的台式设备（来源：微波化学）
协作详情微波化学将开发用于小型分布式化学回收系统的核心设备，该设备将内置PE、PP和PS（聚苯......
国产EDA，未来之路？(2024-10-30)
云计算加载的分布式并行计算能力，还支持裸芯片、中介层和基板的联合仿真引擎技术。
芯华章提供AI芯片验证调试解决方案，提高AI芯片验证效率。其形式化验证工具GalaxFV可与仿真技术结合，加速AI......
人工智能前沿 2025 年影响工程的顶级趋势(2024-12-26 13:36)
入进行错误分类。例如，胸部 X 光图像中的一个细微扰动可能会导致模型错误地将肺炎识别为正常。工程师可以提供模型一致性的数学证明，并使用形式化验证方法（例如抽象解释）测试这些场景。此过......
深芯盟先进开放计算专业委员会揭牌成立 首批理事单位公布(2024-06-20 16:01)
助力其获得大规模的商业部署。聚焦验证领域，芯华章从底层架构创新做起，提供覆盖RISC-V全流程需求的客制化验证方案，包括在core IP层面提供RISC-V指令和架构实现验证，在RISC-V SoC层面......
深芯盟先进开放计算专业委员会揭牌成立 首批理事单位公布(2024-06-20)
助力其获得大规模的商业部署。
聚焦验证领域，芯华章从底层架构创新做起，提供覆盖RISC-V全流程需求的客制化验证方案，包括在core IP层面提供RISC-V指令和架构实现验证，在RISC-V SoC层面......
人工智能安全关键型系统中的验证和确认(2024-02-29)
性是首要考虑因素。细微而难以察觉的变化会带来重大风险，使神经网络产生误分类。这些干扰可能会导致神经网络输出不正确或危险的结果。在错误可能导致灾难的系统中，这种情况尤其令人担忧。一种解决方案是，将形式化方法纳入开发和验证......
01专项传喜报！国微芯一口气发布“芯天成”五大系列14款EDA新品！(2023-01-11)
等需求。
可以对黄金参考模型（C-Model）和Verilog实现做形式化等价验证，以保证两个实现功能完全形式等价，消除由于仿真验证不全面而带来的功能验证风险。
芯天成等价性验证工具EsseFCEC......
2023 RISC-V中国峰会盛大开幕(2023-08-28)
化生态的核心要素。前期，在中国科学院的支持下，中国科学院软件研究所致力于为RISC-V国际开源社区提供操作系统发行版、编译工具链、开发环境、运行时环境，以及形式化验证工具、生态迁移工具等基础软件，作为......
人工智能安全关键型系统中的验证和确认(2024-02-29)
而难以察觉的变化会带来重大风险，使神经网络产生误分类。这些干扰可能会导致神经网络输出不正确或危险的结果。在错误可能导致灾难的系统中，这种情况尤其令人担忧。一种解决方案是，将形式化方法纳入开发和验证......
嵌入式硬件通信串口启用流程(2024-01-11)
中，需要针对引脚进行配置。
二、验证输入输出
完成了串口的初始化，即可对输入输出进行操作，来验证串口是否可以正常的发送和接收数据。
一般的，最直接的方式就是向输出寄存器写入数据，就可......
整车控制器VCU应用层算法开发流程(2024-08-27)
模规范修改模型
2、Design Verifier 检査
Design Verifer 使用形式化方法来识别模型中隐藏的设计错误。检测模型中导致整数溢出.死逻辑、数组访问越界和被零除的块。可以形式化验证......
西门子推出数据驱动型Questa Verification IQ软件,助力集成电(2023-02-09)
、测试和发布。新平台针对功能安全合规性任务提供了优化的数字主线，打造从要求到验证结果再到实施的可追踪解决方案。
Questa Verification IQ 可统一来自不同环境的形式验证......
人工智能安全关键型系统中的验证和确认(2024-03-01)
经网络产生误分类。这些干扰可能会导致神经网络输出不正确或危险的结果。在错误可能导致灾难的系统中，这种情况尤其令人担忧。一种解决方案是，将形式化方法纳入开发和验证过程中。形式化......
人工智能安全关键型系统中的验证和确认(2024-02-29)
经网络产生误分类。这些干扰可能会导致神经网络输出不正确或危险的结果。在错误可能导致灾难的系统中，这种情况尤其令人担忧。一种解决方案是，将形式化方法纳入开发和验证过程中。形式化......
人工智能安全关键型系统中的验证和确认(2024-03-01 09:26)
干扰可能会导致神经网络输出不正确或危险的结果。在错误可能导致灾难的系统中，这种情况尤其令人担忧。一种解决方案是，将形式化方法纳入开发和验证过程中。形式化方法就是使用严格的数学模型来确立和证明神经网络的正确性属性。通过......
打通系统到后端，芯华章发布首款自研数字全流程等价性验证工具(2023-09-19)
设计的正确性并实现正式签核。
面向下一代EDA 2.0目标，GalaxEC运用新一代形式化求解算法和并行计算技术打造高性能求解引擎，可支持原生云部署，提供了丰富完备的用户开放接口，可以更好地满足敏捷验证......
Linux下USB从(USB gadget) 驱动配置与使用(2024-06-13)
Linux下USB从(USB gadget) 驱动配置与使用;S3C2440提供了一个USB从接口，我们可以使用它来把2440模拟为一个U盘，直接从电脑上以盘符的形式访问2440
一、内核配置USB......
《FPGA安全性设计指南》学习书籍-180页(2024-11-07 11:17:59)
《FPGA安全性设计指南》学习书籍-180页;
《FPGA安全性设计指南》通过理论阐述并结合实用设计的方式，通过举例说明FPGA安全性设计的问题如何进行解决。作者从如何编写顶层设计的形式化......
用DevEco Studio性能分析工具 高效解决鸿蒙原生应用内存问题(2025-01-14)
Native内存的深度分析，从识别问题、定界定位、优化验证三个方面，高效定位与解决鸿蒙原生应用内存问题。
识别问题
具体来说，当应用的某项功能开发完成时，开发......
SMT电感器的种类与结构是怎样的？(2024-10-29 06:50:27)
器除了与传统的插装电感器有相同的扼流、退耦、滤波、调谐、延迟、补偿等功能外，还特别在LC调谐器、LC滤波器、LC延迟线等多功能器件中体现了独到的优越性。
由于电感器受线圈制约，片式化比较困难，故其片式化......
深耕创新 芯华章连获行业权威奖项 荣膺“年度创新人物”、“年度EDA产品”殊荣(2022-11-14)
需求，芯华章打造了统一底层架构的智V验证平台，通过创新融合的技术底座和协同的验证工具，为产业用户提供敏捷高效的客制化验证方案，赋能从系统级到电路实现级的全流程验证工具。基于......
纪然：人工智能前沿技术深刻影响互联网行业发展(2022-09-15)
Language Processing)是一门通过建立形式化的计算模型来分析、理解和处理自然语言的学科，也是一门横跨语言学、计算机科学、数学等领域的交叉学科。自然语言处理，是指用计算机对自然语言的形、音......
自动驾驶如何实现一路平安？(2023-06-12)
地预测、规划和执行行驶任务。同时，还应加强软件系统的安全性和稳定性设计，采用形式化验证、安全测试、漏洞修复等技术，保障无人驾驶行车安全。
在自动驾驶领域，完备的多级监控系统通常包含传感器层级、感知......
自动驾驶如何实现一路平安？(2023-06-12 10:23)
用更为智能、高效、稳定的决策和控制算法，例如深度学习、强化学习、模型预测控制等技术，以便使无人驾驶汽车更准确、安全地预测、规划和执行行驶任务。同时，还应加强软件系统的安全性和稳定性设计，采用形式化验证、安全......
打通系统到后端，芯华章发布首款自研数字全流程等价性验证工具(2023-09-19)
设计的正确性并实现正式签核。面向下一代EDA 2.0目标，GalaxEC运用新一代形式化求解算法和并行计算技术打造高性能求解引擎，可支持原生云部署，提供了丰富完备的用户开放接口，可以更好地满足敏捷验证......
相关企业
;鹤壁市恒泰仪器仪表有限公司;;鹤壁市恒泰仪器仪表有限公司主要生产煤质分析仪器,煤碳化验设备和煤碳检测仪器等系列煤质化验产品,其中包括:全自动微机量热仪,微机灰熔点测定仪,快速自动测氢仪,密封式化验
振筛机、锤式破碎机、鄂式破碎机、密封式化验制样粉碎机、煤燃点测定仪、奥亚膨胀度测定仪、破碎缩分联合制样机、运煤采样机、煤炭采样机。
层测定仪、灰熔点测定仪、温控仪系列、马弗炉、粘结指数测定仪、鼓风干燥箱、米库姆转鼓机、标准振筛机、锤式破碎机、鄂式破碎机、密封式化验制样粉碎机、煤燃点测定仪、奥亚膨胀度测定仪、破碎缩分联合制样机、运煤
证书 150/份 兽医卫生证书 150/份 健康证书 150/份 植物检疫证书 150/份 品质证书 150/份 化验证书 150/份 检验证书 150/份 陶瓷证书 150/份 质量证书 150/份
测定仪系列、测氢仪、胶质层测定仪、灰熔点测定仪、温控仪系列、马弗炉、粘结指数测定仪、鼓风干燥箱、米库姆转鼓机、标准振筛机、锤式破碎机、鄂式破碎机、密封式化验制样粉碎机、煤燃点测定仪、奥亚膨胀度测定仪、破碎
姆转鼓机、标准振筛机、锤式破碎机、鄂式破碎机、密封式化验制样粉碎机、煤燃点测定仪、奥亚膨胀度测定仪、破碎缩分联合制样机、运煤采样机、煤炭采样机等煤炭采、制样化验分析设备。
;小小;;公式化机
;格式化工作室;;是的防守对方
的实现了集各种安装和维护工具和存储数据于一身.既能实现资料和数据的存储,又可以运用U盘中的各种工具实施系统安装,文件拷贝,硬盘分区,磁盘修复和资料修复.且所有功能无法被任何形式删除，破坏，格式化。而这
仪系列、测硫仪系列、水分测定仪系列、测氢仪、胶质层指数测定仪、灰熔点测定仪、温控仪系列、马弗炉、粘结指数测定仪、鼓风干燥箱、米库姆转鼓机、标准振筛机、锤式破碎机、鄂式破碎机、密封式化验制样粉碎机、煤燃