新闻详情

新闻详情

首页 / 资讯中心 / 详情

HDLCheck重磅发布|新引擎驱动更精准的代码检查

发布时间:2026/9/4 21:32:03来源:尧图网络
HDLCheck重磅发布|新引擎驱动更精准的代码检查
近期深远华创南京信息科技有限公司正式发布HDL代码规则与缺陷检查平台HDLCheck该平台是对公司原FPGA代码缺陷检查与分析平台VCheck进行全面技术升级后的新一代产品并根据公司产品发展战略和定位进行重新命名。HDLCheck采用了全新的软件架构支持软件管理、任务管理、报告管理和规则管理支持多用户同时使用支持GB/T 37979-2019、GJB 9765-2020、GJB 10157-2021、Xilinx Rule以及DO254等业内主流的HDL编码规则集同时还支持用户自定义编码规则集HDLCheck对规则的检查更加精准和全面能够准确给出违规代码片段的位置并支持多种视图查看规则检查结果并生成相应的报告。在FPGA/ASIC应用领域越来越广泛的今天HDL代码作为实现FPGA/ASIC功能的硬件描述语言其质量与可靠性越来越受到重视。HDLCheck的发布将为保证HDL代码的质量与可靠性提供更加有利的保障。我们相信HDLCheck将帮助开发团队更早、更快、更全面地发现HDL代码的潜在缺陷在提升代码质量的同时大幅降低测试成本能够更好的保证FPGA/ASIC的质量与可靠性。未来我们将持续推进HDLCheck的技术升级不断提升其性能更好的满足用户的需要。关于深远华创深远华创(南京)信息科技有限公司成立于2021年位于江苏省南京市是国内工业软件的开拓者和提供商。公司一直以来秉承“让研发工作更高效、更智能、更简单”的企业使命坚持深耕约束求解器、代码质量度量、智能程序分析、软件漏洞挖掘、高速仿真技术、AI大模型等底层核心技术致力于为业界提供先进的国产工业软件产品和服务为国家工业软件的发展贡献力量。公司成立至今已取得质量管理体系、信息安全管理体系、CMMI三级、信息技术服务管理体系、AAA级信用企业、人工智能应用软件开发企业服务能力一级以及电子计算机软件研发企业服务能力一级等资质认证已取得发明专利、软件著作权以及作品著作权等知识产权40多项与多家知名院校开展了产学研深度生态合作与多家软件评测中心和工具厂商建立了战略合作关系。公司拥有完善的营销和服务网络截至目前已与航空、航天、兵器、船舶、信息技术等多个领域的企业用户开展了合作提供工业软件产品和服务。
网站建设高端定制企业官网
RELATED

相关资讯

更多精彩内容,欢迎继续阅读

较早相关资讯

最新相关资讯

光模块封装代工厂采购真空共晶炉:核心参数与工程实践解析 2026/9/5 0:02:53

光模块封装代工厂采购真空共晶炉:核心参数与工程实践解析

在光通信模块的封装车间里,LD芯片与陶瓷基板之间的焊接空洞率若超过3%,器件在高温老化测试中的失效概率将成倍上升。这是每一位工艺工程师在处理光模块封装代工厂采购真空共晶炉方案时,最先面对的硬指标。空洞不仅阻碍热传导,更会…

阅读更多 →
向量检索与标量过滤混合查询:PostgreSQL pgvector 与 Milvus 的过滤下推实操 2026/9/5 0:02:53

向量检索与标量过滤混合查询:PostgreSQL pgvector 与 Milvus 的过滤下推实操

向量检索与标量过滤混合查询:PostgreSQL pgvector 与 Milvus 的过滤下推实操在构建企业级 RAG 知识库与智能体记忆检索时,极少有纯粹的“全局高维向量相似度检索”。 绝大多数真实的业务查询都带有极其严格的标量业务过滤条件(Scalar Filteri…

阅读更多 →
幂等性设计:在 Agent 自动重试与工具执行中的防重复扣费实战 2026/9/5 0:02:53

幂等性设计:在 Agent 自动重试与工具执行中的防重复扣费实战

幂等性设计:在 Agent 自动重试与工具执行中的防重复扣费实战在智能体(Agent)系统的自动化执行过程中,“自动重试(Auto-Retry)”与“自纠错反思(Self-Correction)”是保障任务高成功率…

阅读更多 →
流式背压机制:避免前端渲染卡死与内存暴涨的滑动窗口限流 2026/9/5 0:02:53

流式背压机制:避免前端渲染卡死与内存暴涨的滑动窗口限流

流式背压机制:避免前端渲染卡死与内存暴涨的滑动窗口限流在大模型流式输出(Streaming)与智能体实时推流的架构中,生产环境中经常出现一种“上下游生产消费速率严重失衡”的极端情况: 生产端极速产出:大模型…

阅读更多 →
niri 笔记本低功耗调优:3 步把待机功耗从 8W 压到 5W 2026/9/4 23:59:53

niri 笔记本低功耗调优:3 步把待机功耗从 8W 压到 5W

niri 笔记本低功耗调优:3 步把待机功耗从 8W 压到 5W 【免费下载链接】niri A scrollable-tiling Wayland compositor. 项目地址: https://gitcode.com/GitHub_Trending/ni/niri 在 niri 这款 Wayland 合成器(负责把每个窗口画面拼合成最终屏幕图…

阅读更多 →
自托管PaaS实战:Docker Compose+Caddy搭建部署平台 2026/9/4 23:59:53

自托管PaaS实战:Docker Compose+Caddy搭建部署平台

很多开发者刚开始接触 Vercel、Railway 这类平台时,往往会被它们的自动化程度惊艳到:项目推到 Git 仓库,平台自动完成构建、发布、HTTPS 证书签发,甚至还能一键创建数据库和定时任务。这种体验确实流畅,基本把“部署”…

阅读更多 →

今日资讯

本周资讯

本月资讯

看完文章仍有疑问?

联系尧图顾问,获取一对一建站咨询

立即免费咨询 📞 400-888-8888
📞