- 开源项目公开站GitHub
kepler-formal：数字设计等价性检查
keplertech/kepler-formal — Digital Design Equivalence Checking
keplertech/kepler-formal 是一个数字设计等价性检查开源项目，托管于 GitHub，当前获约 105 颗星，定位为数字电路设计的等价性验证方向。
意义：等价性检查是芯片前端验证的关键环节，开源实现可降低 EDA 工具链门槛，对硬件与 AI 加速器开发者有参考价值。
- 资讯公开站CNX Software
无CAD数据逆向工程：MetroY Ultra如何将实物零件转为数字设计
Reverse Engineering Without CAD Data: How MetroY Ultra Turns Physical Parts into Digital Designs (Sponsored)
该赞助文章介绍MetroY Ultra三维扫描方案，用于在缺乏可靠数字数据时对实物零件进行逆向工程。文中以1984年本田CB400定制改装为例，说明建造者需制作座垫托盘与座垫底板，并将后挡泥板整合进改装后的后副车架；手动测量难以准确捕捉复杂曲面、安装点和紧凑间隙，而扫描可提供零件的真实三维几何作为数字参考。
意义：为硬件开发者与创客提供思路：实物扫描可作为逆向建模与定制制造的数字参考，减少对原始CAD的依赖。