-
新华丝路：宁波见证中国从"制造"迈向"智造"
北京2026年4月20日 /美通社/ -- 在中国东部沿海，浙江省宁波舟山港昼夜不息、舟楫往来不绝；港口后方，工厂车间同样保持着全天候运转。 A technician debugs a humanoid robot at a company in Ningbo, east Ch...
-
基于断言（SVA）的形式验证：无测试向量下的深层逻辑Bug探测术
在复杂数字电路设计中，传统仿真验证需要编写海量测试向量，却仍可能遗漏边界场景。形式验证技术通过数学方法穷举所有可能状态，而断言（SystemVerilog Assertions, SVA）作为其核心工具，能在不依赖测试向量的情况下精准定位深层逻辑错误。本文结合实际案例，揭示SVA在硬件验证中的独特价值。
-
程序员为何难以一次写好代码：探索Bug产生的根源
在软件开发领域，程序员们常常面临着一个看似悖论的现象：即使他们拥有深厚的编程技能、丰富的项目经验和严谨的工作态度，也很难保证一次就写出完美无缺的代码。相反，代码中的Bug似乎总是如影随形，需要不断地调试、修改和完善。这一现象引发了广泛的讨论和思考：为什么程序员不能一次写好代码，总是需要修改Bug呢？
-
建立稳定的嵌入式软件工程的5个基本技巧
几乎我见过的每一个程序员都想写一个坚如磐石的软件。你对自己的发展感到骄傲,如果你的工作是编写软件,你希望软件能够运行。我从来没有见过任何人在项目开始时说过,"让我们写出人类所知道的最糟糕的,紧密耦合的,昂贵的代码。我们都想编写好的代码,使我们的产品无缝地工作,并赢得我们的赞扬,或至少我们的老板。不幸的是,编写嵌入式软件往往会变成一个充满了bug、漏洞和其他令人毛骨悚然的东西的泥沼。所以,让我们打破链条吧!这篇文章将讨论构建坚固的嵌入式软件的五个基本技巧和技巧,我发现这些技巧和技巧有利于我的客户、同事、学生、我自己,希望还有你。
-
某厂程序员因线上BUG事故，被要求返还年终奖！
近日某厂员工爆料，公司程序员因线上流量异常BUG事故，被公司进行处罚。处罚的结果是被要求将去年发的 4 万多年终奖归还给公司，否则就收取滞纳金并辞退，逾期将以每天万分之 5 的利息收取滞纳金。
-
微信私密朋友圈被吐槽有BUG，微信致歉
业内消息，近日有媒体报道一名女子将年度总结发到朋友圈并将状态设为私密，但随后她发现其好友可以看到她发了朋友圈，尽管无法看到具体内容。随即，微博话题#微信私密朋友圈被吐槽有BUG# 很快冲上热搜第一，许多网友也纷纷表示遇见过类似的情况。
-
云南昆明恒隆乐高(R)授权专卖店盛大开业
焕新玩乐与购物体验，为当地儿童、家庭和乐高爱好者带来更多创意玩乐机会 云南昆明2022年7月9日 /美通社/ -- 今日，全新乐高®授权专卖店于昆明恒隆广场正式开业，为昆明当地的儿童、家庭和乐高爱好者提供了近距离体验乐高创意玩乐的新据点。 此次新开业的昆明恒隆乐高授权...
-
在验证中采用最新技术的缺点！
“验证很多人都清楚，验证技术一直在发展，个人技术成长不进则退。于是采用最新的验证方法和趋势是很多验证牛人趋之若鹜的事情。一旦验证大佬尝试了某个事情，可能很快就会在团队传播起来，这就是偶像效应。这时候，这项技术仿佛就是经过检验了的真理，也不管实际的应用场景和根本逻辑了。这些新技术包...
-
不要让这10个验证思维毁掉你
1、这是继承的代码，不需要验证。你100%确定这个代码经过完备验证么？你确定没有人后来修改过么？你确定和这个代码相关的一切都没有变化么？ 2、我可以在5分钟内想出一个补丁。只要你确定你的验证环境不会成为一个屎山。问问你自己，一周以后你还记得这段代码是什么意思么？与其花几个小时修改...
-
收好这份验证工程师的学习曲线！
学习曲线的定义为"在一定时间内获得的技能或知识的速率"。对于验证工程师，哪一种工作环境能提供最大的学习机会？1)IP验证2)SOC验证3)验证IP开发在工作时所具备的技能应该符合整个行业的要求，并且应该可以跨公司携带。假设你正在使用该公司的内部工具对处理器设计进行验证，方法和工具...
-
提高验证效率，做一个不加班不丢球的高质量人类验证工程师
相信很多人都听说过这样的一个论断：“功能验证需要占用芯片设计周期的70%”。编写测试计划/可重用验证环境/设计断言、定位RTLbug、实现代码覆盖和功能覆盖目标以及门级仿真和调试，是功能验证工程师在tapeout前经历的一些常见活动。如果DUT有更多的bug，验证工程师的工作就会...
-
6个不该有的验证误区
01这是经过硅验证的IP，无需进行完备的测试和覆盖你确定所有功能cross场景是否都经过硅验证么。你确定应用场景和外部约束都没有变化么？02tapeout出去的是RTL流片，无需检视验证环境，只要检视验证计划就足够了70%的时间花在验证上，其中相当多的时间花在开发测试平台上、可重...
-
Win11更新：修复AMD锐龙性能BUG
Windows11先后两个正式版本，都让AMD锐龙处理器的性能蒙上劣化阴影，好在解决方案终于下发。最新补丁KB5006746（Build22000.282）已经抵达Beta和发布预览通道，解决了影响AMD锐龙平台性能的处理器三级缓存增加的BUG。在此前的测试中，部分Zen、Zen...
-
刚入职就写了个bug，把几万用户搞蓝屏了…
回想七年前，我的第一家公司……
-
糟糕，你写的 BUG 要被存1000年了！
把大象放在冰箱需要几步？三步！把代码放在北极需要几步？纳尼？GitHub刚刚公布了一组照片，你写的代码(BUG)上周已经被打包运往北极保存。只要你2月2日以前贡献过的开源代码，现在都已经被埋在北极的冰雪之下，保存一千年。2019年GitHub公布了一项计划：ArcticCodeV...
-
和各种诡异 Bug 打交道 13 年，我总结了 18 个经验
Bug是绝佳的学习机会。所以我们怎样尽可能多地从修复的bug中吸取经验？我至今已经用了13年的一个方法是，写下这个bug的简单描述、修复方法以及吸取的经验。遥想2002年，我偶然发现一篇描述这个方法的博客（很不幸，我没再找到）。我从那时起就使用这个方法了，并且相信它能帮助我成为一...
-
和各种诡异 Bug 打交道 13 年，我总结了 18 个经验
和各种诡异 Bug 打交道 13 年，我总结了 18 个经验
-
苹果iOS曝bug ：WiFi改名轻松搞崩溃一台iPhone
安全研究员Carl Schou发现，在加入一个名为“%p%s%s%s%s%n”的 Wi-Fi 网络后，他的iPhone的Wi-Fi功能被“禁用”。
-
软件bug！特斯拉“刹车失灵”原来是因为它！
最近，一则视频被广泛转载，疑似“刹车失灵”系软件bug。
-
CTO 写低级 Bug，致公司 70 GB 数据遭泄露！
前有“程序员删库跑路”，后有 CTO 在网站后台引入 Bug，导致公司 1.5 万账户信息外泄。
