发布时间:2026/9/8 14:20:11
formal验证是什么?使用数学证明,不靠仿真激励,穷尽合法输入空间来证明属性 (Assertion) 永远成立。formal验证的优势是什么?用来弥补仿真覆盖率缺口。什么样的场景适合用formal验证?适合数据通路协议 ,FSM …
前阵子评估一块开源 LLM 推理 Tile 时,我被一个数字当头浇了一盆冷水。项目 README 里明明写着支持 INT4 量化、片上 SRAM 驻留权重,我下意识就换算:权重从 INT16 砍到 INT4,不是应该省出 4 倍吗?结果等我把这块 Tile …
1. 项目背景与整体设计思路1.1 为什么选择推测解码这条路先说个背景。大语言模型推理慢是出了名的,尤其是自回归解码,一个token一个token往外蹦,batch越大越痛苦。我这边有个实际业务场景,需要在多轮对话里做流式输出,…
做嵌入式固件这行,最怕的不是需求改版,而是设备上电之后毫无反应、升级升到一半变砖、极端环境下一觉醒来发现远程设备集体失联。最近我把这几年做启动流程、故障定位和OTA升级的工程经验整理成付费专栏连载,本篇是衔接上篇思考题的一期&…
100G光口测试这件事,放在几年前还是数通大厂验证团队的专属领域,但这两年随着数据中心和AI集群的爆发,FPGA工程师碰100G光模块的机会越来越多。我接手过的项目里,有做交换机线卡的、有做加速卡的、还有做专用测试仪表的,几乎都绕不开光口这一关。这期就把我在FPGA上做100G光口/…
做机器人智能巡检方案,最难的不是算法跑不出效果,而是整套系统丢到工业现场之后还能不能稳定扛住。我上一个项目是变电站轮式巡检机器人,实验室里YOLOv8识别率刷到99%,一到现场就翻车:模型推理太慢导致机器人走走停停、…
干了这么多年嵌入式,我有个特别深的体会:很多莫名其妙的问题,绕到最后都出在寄存器上。要么是某个位没置对,要么是配置顺序不对,要么是读的时候没注意影子寄存器。库函数用久了容易产生一种错觉,觉得底层都…
后台收到过很多私信问我嵌入式怎么学、能不能入行、薪资到底怎么样。以前在职的时候,有些话不太方便讲,毕竟顶着公司工程师的身份,说重了怕被觉得在带节奏,说轻了又等于没说。现在手续已经办完,交接文档也交了…
最近在技术圈里,"opencode"这个名字出现的频率越来越高。不管是推特时间线、Hacker News 首页,还是你加的开发者群里,都有人在讨论这个开源的 AI 编程终端 Agent,而且讨论的角度五花八门:有人问安装报错&…
Cargo 这个东西,我说它是 Rust 生态的灵魂,应该没人反对。写过 Rust 的人都知道,安装好工具链之后,你打交道最多的不是 rustc,而是 Cargo。拿新建项目来说, cargo new 帮你把目录结构、Git 仓库初始化一起…
搞嵌入式这么多年,我越来越觉得,总线通信这件事,最怕的就是“知其然不知其所以然”。很多人调过I2C、用过SPI、看过USB枚举的log,但真被问一句“总线到底在解决什么问题”,往往就卡住了。我琢磨了很久,发现…
做科研实验室环境监控有些年头了,踩过的坑比写过的方案还多。其中一个印象最深的问题,就是供电。实验室墙面往往早就被仪器占满,220V插座比工位还紧张,而温湿度传感器这种东西偏偏分布得特别散:细胞房、样品室、精密仪…
开头先不绕弯子。“#斯坦李吐槽dc 所以超人是无缘无故会飞的嘛哈哈哈哈哈哈哈锤哥真是技术人才啊!#雷神 #复联”这类调侃式短标题,第一波冲击力在于它把两个宇宙的角色塞进同一个吐槽箱里,但细想一下就能发现,它真正碰到的根本不是…
把“蜘蛛侠 vs 超人”放在 CSDN 上聊,可能很多人第一反应是走错片场了。但如果把这两个角色看成“两个持续运营了 80 多年的文化产品”,你会发现,这场比较本质上是两个不同 IP 策略的长期结果对比:超人赢在定义了整个超级英雄题材…
简介:本资源是一套面向通信工程与信号处理方向学习者、研究者的深度学习实践方案,聚焦调制信号自动检测与识别这一典型无线通信任务,解决传统方法依赖人工特征、低信噪比下性能下降等痛点。压缩包共12个文件(10.73MB)&…
简介:本资源是一套面向本科毕业设计、课程设计及期末大作业的工业级焊缝缺陷检测实战方案,聚焦深度学习在焊接质量控制中的落地应用,解决传统人工检测效率低、主观性强等痛点。压缩包共26个文件,含9个C源码(如yolo_det…
分布式服务的决策记录架构演进最怕只有结果没有理由。一次拆分、缓存或队列调整,都应写明当时的瓶颈、备选方案、选择原因和撤回条件。 记录的最小单位 用一页说明解决的任务、依赖、风险和验证方式即可。别把决定写成永远正确的准则;前提变化时…
创业产品的首版范围首版的任务是验证一个需求,不是展示全部能力。选择用户愿意反复完成、且结果容易判断的动作,把输入、输出和人工兜底都做清楚。 控制范围 先做可撤回、低风险的流程。权限不明、需要复杂协作或结果不可逆的部分先不自动化。 用反馈决定…