老父亲落泪，小孩哥疯狂

新年第一篇更新，老规矩，和大家一起分享一下我的2024年度总结。好久不动笔，有点冗长，但都是走心的。

以下说的「今年」，指的都是2024年。

老粉都知道，我在2021年底回国后就在中科院做学术研究，满打满算竟然也已经三年了，如果在英国博士都快毕业了。在前年的总结里（这里是链接），我就写过当时定的研究方向是「FPGA」和「开源芯片敏捷设计与验证」的结合。

实话说，当时定这个方向很大程度是拍脑门，一方面觉得自己做了十年多FPGA，不想随便就扔了；另一方面在公司参与很多芯片验证的工作，隐隐约约觉得学术界对这个的研究并不深入。于是就在一直思考如何更好利用FPGA「赋能」芯片验证这件事情。

大概是由于新手光环，在2022年我们在FPGA"23发表了第一篇论文，提出了名叫ENCORE的FPGA敏捷验证平台。这次发表给了我很大的信心，毕竟这也是FPGA领域的顶会了。但随着新手光环的褪去，我发现验证这个方向是真难发文章，难怪这个领域并没有很多学术研究。

一位资深学术大佬良苦用心的给我说，同样的时间里他能发三篇AI方向的顶会，可能验证一篇也发不了。我甚至在有机会采访诺奖得主安德烈海姆教授的时候，竟问他做新方向论文发不出来怎么办。

教授的回答也很实在：他的诺奖成果也被拒稿过很多次，对于新的研究，只能尽量采用现在学术界同行能听懂的语言，同时沉浸式的努力。

受他启发，我也重新思考了为何芯片验证在工业界很重要、但在学术界并不流行的原因。本质上可能有三点：缺少量化的评价依据；科学家更关注设计方法和原理，而验证本身更偏向实践；部分学术同行缺少业界从业经验。为了解决这些问题，就只能在研究工作和论文中更加显式的提出可量化的评价标准、关注工程实用性的同时兼顾科学性，同时尽可能在文章中科普芯片验证本身。

经过一些摸索和迭代，我们课题组在2024年还是取得了一些学术上的进步，一共发表了七篇敏捷验证方向的论文，分别发在ASPLOS"24、计算机研究与发展、FPGA"25（两篇）、ASP-DAC"25、ISEDA"24（两篇），实话说超出了我自己的预期，而且一次中了两篇FPGA的全文（full paper），是我之前不敢想象的。

简单说几句这些发表的工作，可能会有点晦涩，我尽量说的简单些，也欢迎读者大神们多提意见。在ASPLOS和计研发的这两篇文章中，我们把断言（assertion）做了硬件化。断言是一种非常常见的验证手段，它能形式化的描述设计的预期行为或结果，同时提供细粒度的可见性，也能自动捕获未被定义的问题状态。但诸如SystemVerilog Assertion这样的传统断言是不可综合的，而且软件仿真性能比较低，很多开源仿真器的支持并不好。那为了解决这个问题，我们就做了一个完整的端到端工具链和断言算子库，把SVA自动编译成等效的硬件电路，并基于之前的ENCORE平台做了硬件加速，取得了比较明显的验证效率提升。

ASPLOS"24论文

计研发论文

ASPLOS是计算机体系结构领域的「四大顶会」之一，也是所谓的CCF-A类会议，当然这也是我自己的第一篇ASPLOS论文。有点波折的是，这篇文章在秋季审稿周期被判为大修并最终接收，所以我们要在2025年荷兰鹿特丹的ASPLOS会议上宣讲这篇文章。

FPGA"25的两篇文章聚焦的是高层综合（HLS）的敏捷验证问题。HLS本身其实可以算是敏捷设计的方法，它允许设计者通过写C/C++这些高级语言来设计电路，从而提升设计的效率，这方面UCLA的丛京生教授和康奈尔大学的Zhiru Zhang教授都是顶尖专家。

但我们发现，现在大多数人都聚焦在设计，而对验证有所忽略。比如很难定位问题出错的根源、大多只关注单元级验证、也缺少运行时对激励的动态调度和并行方法等。于是我们做了两个工作分别应对了上面的这些问题，并且取得了一些不错的结果，甚至还发现了几百个VitisHLS里的潜在问题。

FPGA"25第二篇论文

值得一提的是，这里的一个工作是和我在帝国理工的师弟、现在在爱丁堡大学做教授的Jianyi Cheng博士一起合作的（文章也是他写的），为此我导师还发了个朋友圈：

ASP-DAC是EDA领域的国际四大顶会之一，这篇文章主要聚焦在RISC-V指令集扩展的敏捷验证，一月底我们会在日本东京的会议上宣讲这篇论文。

ASP-DAC"25论文

论文发表了当然开心，但的确是个费时费力的活。前面这几篇文章除了和程博合作的那篇，其余几篇英文论文都是我自己写的，比写视频脚本和公众号难多了，当然也导致视频和公众号的不定期拖更。所以如果你看到这个号一段时间没更新，大概率就是我在闭关憋论文中。

或许是受我影响，我看到周围慢慢有一些学者或研究生也开始关注验证，甚至也开始下场做验证研究了。这本身是个好事儿，但如果你的目的是为了发论文，那可能这并不是一条性价比高的路。这并不是走自己的路让别人无路可走，而是和前面那位大佬说的一样，是由芯片验证这个领域的自身性质决定的。之前提到的三个难题是建立在研究者本人对验证有足够认知的前提下，但这个认知本身其实并不容易获得。

验证是个很偏工程实践的技术方向，说白了很吃经验。这些经验的获得并没有捷径，只能靠在实际芯片开发项目中积累。虽然我曾参与过一些实际的验证项目，但自知相比工作二三十年的资深工程师，经验和阅历还差太多。所以如果研究者对验证本身没有认知、甚至是半路出家转到这个领域，就会不可避免的拍脑门，造成「有一种冷是你妈觉得冷」却不自知的尴尬。

对于我和团队来说，2025年的新目标，一是继续推进有意思的学术研究，二是寻找合适的技术落地场景。通过这几年的梳理，我也拍脑门构建了一个敏捷验证的研究体系。漫画里有个「漫威宇宙」，里面都是各种超级英雄；那我把敏捷验证的研究体系称为「The ENCORE Universe」，希望通过各种点技术的串联，在某种程度实现芯片验证这个古老而沉寂宇宙的再次爆发。下面这个图就是我在2025年的研究计划（修改自我在单位的年终汇报）：

我拍的脑门：The ENCORE Universe

做事离不开人，这里也打个小广告，如果你对FPGA和芯片验证感兴趣，欢迎来我的团队做世界前沿的研究。我常年招收研究生、实习生、全职工程师、博士后等，在公众号后台回复「验证」，就能看到关于招聘的详细信息了。也欢迎工业界的朋友一起交流合作，一起做难而长期的事情。也非常感谢团队的同学和小伙伴，有幸遇到一群非常优秀的年轻人，如新科诺奖得主辛顿所说，他们做了所有的工作。

做自媒体N年了，但我却并没养成关注数据的习惯。如果说做研究是纯理性，那做自媒体更多是从感性和自我出发的表达。即便这样，2024年也更新了31期视频，平均不到两周更新一期，B站的累计播放量达到了3000万。视频也同步到了油管、抖音、小红书、视频号、腾讯新闻、百家号、网易号这些平台，也感谢这些平台的大力支持。

B站2024年的一些数据

看到老石谈芯的朋友们也越来越多了。B站基本保持每年十万的关注数增长，目前是48万关注，本来想在年底冲一波业绩到50万，但醉心于学术就懈怠了。特别感谢抖音对长视频和知识类内容的大力支持，今年抖音终于艰难的突破了10万关注。全平台已经超过200万关注了。

对于一个芯片UP来说，这个数据也已经很满意、很感恩了。

更让我难忘的是，今年做了几次让我印象深刻的内容。首先就是有幸在北京采访到AMD CEO苏姿丰博士！虽然时间只有短短15分钟，但堪称是我自媒体生涯的巅峰了。苏妈人很奈斯，对拍照和签名来者不拒，而我却紧张的一批，有点前言不搭后语。感谢AMD的小伙伴大力支持，也感谢极客湾大佬友情帮忙拍摄。

这种访谈类的内容，是我特别希望继续做下去的。特别是现在短视频大行其道，我反而更加坚信通过长视频甚至是超长视频完整而系统的传达知识和洞见，有不可替代的价值。因此今年我还做了很多期采访，对象包括安克创新的CEO阳萌Steven、暂停实验室创始人郭婷婷、RISC-V国际基金会CEO Calista Redmond、英特尔全球市场营销官Brett Hannah等。挺意外的是，和Steven的对谈还上了B站热门，也证明了这种形式和内容的价值。通过和这些大佬的对谈，我自己也学到很多，也希望对看视频的朋友们有帮助。

还有一个印象深刻的事情，就是有幸参加了高通组织的一次线下直播，在上海外滩见证了「挤爆牙膏」。除了这个活动，今年还参加了很多其他类似的活动，认识了很多很多博主大佬。当一些你曾经只是默默关注的人活生生的出现在你眼前，和你一起工作、一起交流，向他们学习，甚至和他们成为朋友，这种感觉真的很奇妙。

在上海外滩的直播活动

比如，我的B站「年度挚爱UP主」是小Lin，十年老粉的我立刻向她汇报了，竟也得到一波商业互吹。

小Lin姐人太好了

这也许就是做自媒体对于普通人的最大红利，让我在某种程度上突破小圈子和信息茧房，带我看到更多更优秀的人，更新鲜有趣的事，还有更广阔的世界，也帮我成为更好的人。

在去年的总结里，我分享过生活不是马拉松，而是一段段冲刺，结合一段段休养生息。今年我休养生息的方式，就是旅行。有些是带着任务和目的的出发，有些则是漫无目的的游荡和感受。

今年飞了十万公里，去了六个国家和地区，解锁了三个没去过的国家，香港和东京还去了好几次。很幸运碰上了樱花季，也很幸运在晚上出来遛弯的时候在鸢尾书店的角落碰到来闲逛的周杰伦和昆凌，甚至在慕尼黑喝酒的时候还能偶遇老石谈芯的观众老爷。

东京的夜樱

果然生活像一盒巧克力。如果不走出来，你永远不知道今天会遇到谁。

今年去英国的一些感受，可以看这篇文章。

今年的阅读处于懈怠的状态，但同时我也越来越不纠结是否要「读完」一本书。如果在看书的过程中觉得煎熬，也没必要让这个过程一直持续下去。

按这个标准，今年大概翻了十几本书，留下深刻印象的有五六本，包括年初的《金钱心理学 The Phychology of Money》，年中的《埃隆马斯克传》、《我看到的世界》，还有下半年的《The Diary of CEO》、《The Infinite Game》，还有年底正在看的《智人之上 Nexus》。

今年翻过+买的一部分书，也夹杂了一些之前的书

这几本书都强烈推荐，我会尽量多出几期视频，和大家分享下我的读后感。

写到这里，我感觉2024年我的关键词就是「幸运」。新的一年我并不追求幸运延续，只希望能继续做好工作、做好视频和文章，多吸收和感受。

很遗憾2024年有一部译著没有完成，希望2025年能尽快完成，和大家见面，也算是立了一个flag。

当然还有其他的计划，但现在就不说了。毕竟雷总说过，先做再说，如果失败了就当没做过。

雷总的金句

之前的文章中有分享过，不应太关注目标本身，而是更该关注和建立完成目标的体系。就像我今年底希望达到B站50万关注，但如果不去更新内容，制定50万和500万的目标也没什么本制的区别。做学术也是如此，与其目标定在我一定要发某某A类会，不如把重点放在如何提升工作本身和论文写作的质量上，因为只有这些才是我们能真正把握住的。

和之前每年的总结一样，努力把生活过好，健康、平安、开心、做有意义的事情，就是我2025年的目标。

不知道你2025年的目标有哪些？可以评论区聊聊、立个Flag，明年再来还愿。最后，祝大家2025一切顺利！

我的2023年度总结

我的2022年度总结

我的2021年度总结

（注：本文不代表老石任职单位的观点。）

老石谈芯社群组建中！扫码添加小助手进群～

老父亲落泪，小孩哥疯狂

新年第一篇更新，老规矩，和大家一起分享一下我的2024年度总结。好久不动笔，有点冗长，但都是走心的。

以下说的「今年」，指的都是2024年。

老粉都知道，我在2021年底回国后就在中科院做学术研究，满打满算竟然也已经三年了，如果在英国博士都快毕业了。在前年的总结里（这里是链接），我就写过当时定的研究方向是「FPGA」和「开源芯片敏捷设计与验证」的结合。

实话说，当时定这个方向很大程度是拍脑门，一方面觉得自己做了十年多FPGA，不想随便就扔了；另一方面在公司参与很多芯片验证的工作，隐隐约约觉得学术界对这个的研究并不深入。于是就在一直思考如何更好利用FPGA「赋能」芯片验证这件事情。

大概是由于新手光环，在2022年我们在FPGA"23发表了第一篇论文，提出了名叫ENCORE的FPGA敏捷验证平台。这次发表给了我很大的信心，毕竟这也是FPGA领域的顶会了。但随着新手光环的褪去，我发现验证这个方向是真难发文章，难怪这个领域并没有很多学术研究。

一位资深学术大佬良苦用心的给我说，同样的时间里他能发三篇AI方向的顶会，可能验证一篇也发不了。我甚至在有机会采访诺奖得主安德烈海姆教授的时候，竟问他做新方向论文发不出来怎么办。

教授的回答也很实在：他的诺奖成果也被拒稿过很多次，对于新的研究，只能尽量采用现在学术界同行能听懂的语言，同时沉浸式的努力。

受他启发，我也重新思考了为何芯片验证在工业界很重要、但在学术界并不流行的原因。本质上可能有三点：缺少量化的评价依据；科学家更关注设计方法和原理，而验证本身更偏向实践；部分学术同行缺少业界从业经验。为了解决这些问题，就只能在研究工作和论文中更加显式的提出可量化的评价标准、关注工程实用性的同时兼顾科学性，同时尽可能在文章中科普芯片验证本身。

经过一些摸索和迭代，我们课题组在2024年还是取得了一些学术上的进步，一共发表了七篇敏捷验证方向的论文，分别发在ASPLOS"24、计算机研究与发展、FPGA"25（两篇）、ASP-DAC"25、ISEDA"24（两篇），实话说超出了我自己的预期，而且一次中了两篇FPGA的全文（full paper），是我之前不敢想象的。

简单说几句这些发表的工作，可能会有点晦涩，我尽量说的简单些，也欢迎读者大神们多提意见。在ASPLOS和计研发的这两篇文章中，我们把断言（assertion）做了硬件化。断言是一种非常常见的验证手段，它能形式化的描述设计的预期行为或结果，同时提供细粒度的可见性，也能自动捕获未被定义的问题状态。但诸如SystemVerilog Assertion这样的传统断言是不可综合的，而且软件仿真性能比较低，很多开源仿真器的支持并不好。那为了解决这个问题，我们就做了一个完整的端到端工具链和断言算子库，把SVA自动编译成等效的硬件电路，并基于之前的ENCORE平台做了硬件加速，取得了比较明显的验证效率提升。

ASPLOS"24论文

计研发论文

ASPLOS是计算机体系结构领域的「四大顶会」之一，也是所谓的CCF-A类会议，当然这也是我自己的第一篇ASPLOS论文。有点波折的是，这篇文章在秋季审稿周期被判为大修并最终接收，所以我们要在2025年荷兰鹿特丹的ASPLOS会议上宣讲这篇文章。

FPGA"25的两篇文章聚焦的是高层综合（HLS）的敏捷验证问题。HLS本身其实可以算是敏捷设计的方法，它允许设计者通过写C/C++这些高级语言来设计电路，从而提升设计的效率，这方面UCLA的丛京生教授和康奈尔大学的Zhiru Zhang教授都是顶尖专家。

但我们发现，现在大多数人都聚焦在设计，而对验证有所忽略。比如很难定位问题出错的根源、大多只关注单元级验证、也缺少运行时对激励的动态调度和并行方法等。于是我们做了两个工作分别应对了上面的这些问题，并且取得了一些不错的结果，甚至还发现了几百个VitisHLS里的潜在问题。

FPGA"25第二篇论文

值得一提的是，这里的一个工作是和我在帝国理工的师弟、现在在爱丁堡大学做教授的Jianyi Cheng博士一起合作的（文章也是他写的），为此我导师还发了个朋友圈：

ASP-DAC是EDA领域的国际四大顶会之一，这篇文章主要聚焦在RISC-V指令集扩展的敏捷验证，一月底我们会在日本东京的会议上宣讲这篇论文。

ASP-DAC"25论文

论文发表了当然开心，但的确是个费时费力的活。前面这几篇文章除了和程博合作的那篇，其余几篇英文论文都是我自己写的，比写视频脚本和公众号难多了，当然也导致视频和公众号的不定期拖更。所以如果你看到这个号一段时间没更新，大概率就是我在闭关憋论文中。

或许是受我影响，我看到周围慢慢有一些学者或研究生也开始关注验证，甚至也开始下场做验证研究了。这本身是个好事儿，但如果你的目的是为了发论文，那可能这并不是一条性价比高的路。这并不是走自己的路让别人无路可走，而是和前面那位大佬说的一样，是由芯片验证这个领域的自身性质决定的。之前提到的三个难题是建立在研究者本人对验证有足够认知的前提下，但这个认知本身其实并不容易获得。

验证是个很偏工程实践的技术方向，说白了很吃经验。这些经验的获得并没有捷径，只能靠在实际芯片开发项目中积累。虽然我曾参与过一些实际的验证项目，但自知相比工作二三十年的资深工程师，经验和阅历还差太多。所以如果研究者对验证本身没有认知、甚至是半路出家转到这个领域，就会不可避免的拍脑门，造成「有一种冷是你妈觉得冷」却不自知的尴尬。

对于我和团队来说，2025年的新目标，一是继续推进有意思的学术研究，二是寻找合适的技术落地场景。通过这几年的梳理，我也拍脑门构建了一个敏捷验证的研究体系。漫画里有个「漫威宇宙」，里面都是各种超级英雄；那我把敏捷验证的研究体系称为「The ENCORE Universe」，希望通过各种点技术的串联，在某种程度实现芯片验证这个古老而沉寂宇宙的再次爆发。下面这个图就是我在2025年的研究计划（修改自我在单位的年终汇报）：

我拍的脑门：The ENCORE Universe

做事离不开人，这里也打个小广告，如果你对FPGA和芯片验证感兴趣，欢迎来我的团队做世界前沿的研究。我常年招收研究生、实习生、全职工程师、博士后等，在公众号后台回复「验证」，就能看到关于招聘的详细信息了。也欢迎工业界的朋友一起交流合作，一起做难而长期的事情。也非常感谢团队的同学和小伙伴，有幸遇到一群非常优秀的年轻人，如新科诺奖得主辛顿所说，他们做了所有的工作。

做自媒体N年了，但我却并没养成关注数据的习惯。如果说做研究是纯理性，那做自媒体更多是从感性和自我出发的表达。即便这样，2024年也更新了31期视频，平均不到两周更新一期，B站的累计播放量达到了3000万。视频也同步到了油管、抖音、小红书、视频号、腾讯新闻、百家号、网易号这些平台，也感谢这些平台的大力支持。

B站2024年的一些数据

看到老石谈芯的朋友们也越来越多了。B站基本保持每年十万的关注数增长，目前是48万关注，本来想在年底冲一波业绩到50万，但醉心于学术就懈怠了。特别感谢抖音对长视频和知识类内容的大力支持，今年抖音终于艰难的突破了10万关注。全平台已经超过200万关注了。

对于一个芯片UP来说，这个数据也已经很满意、很感恩了。

更让我难忘的是，今年做了几次让我印象深刻的内容。首先就是有幸在北京采访到AMD CEO苏姿丰博士！虽然时间只有短短15分钟，但堪称是我自媒体生涯的巅峰了。苏妈人很奈斯，对拍照和签名来者不拒，而我却紧张的一批，有点前言不搭后语。感谢AMD的小伙伴大力支持，也感谢极客湾大佬友情帮忙拍摄。

这种访谈类的内容，是我特别希望继续做下去的。特别是现在短视频大行其道，我反而更加坚信通过长视频甚至是超长视频完整而系统的传达知识和洞见，有不可替代的价值。因此今年我还做了很多期采访，对象包括安克创新的CEO阳萌Steven、暂停实验室创始人郭婷婷、RISC-V国际基金会CEO Calista Redmond、英特尔全球市场营销官Brett Hannah等。挺意外的是，和Steven的对谈还上了B站热门，也证明了这种形式和内容的价值。通过和这些大佬的对谈，我自己也学到很多，也希望对看视频的朋友们有帮助。

还有一个印象深刻的事情，就是有幸参加了高通组织的一次线下直播，在上海外滩见证了「挤爆牙膏」。除了这个活动，今年还参加了很多其他类似的活动，认识了很多很多博主大佬。当一些你曾经只是默默关注的人活生生的出现在你眼前，和你一起工作、一起交流，向他们学习，甚至和他们成为朋友，这种感觉真的很奇妙。

在上海外滩的直播活动

比如，我的B站「年度挚爱UP主」是小Lin，十年老粉的我立刻向她汇报了，竟也得到一波商业互吹。

小Lin姐人太好了

这也许就是做自媒体对于普通人的最大红利，让我在某种程度上突破小圈子和信息茧房，带我看到更多更优秀的人，更新鲜有趣的事，还有更广阔的世界，也帮我成为更好的人。

在去年的总结里，我分享过生活不是马拉松，而是一段段冲刺，结合一段段休养生息。今年我休养生息的方式，就是旅行。有些是带着任务和目的的出发，有些则是漫无目的的游荡和感受。

今年飞了十万公里，去了六个国家和地区，解锁了三个没去过的国家，香港和东京还去了好几次。很幸运碰上了樱花季，也很幸运在晚上出来遛弯的时候在鸢尾书店的角落碰到来闲逛的周杰伦和昆凌，甚至在慕尼黑喝酒的时候还能偶遇老石谈芯的观众老爷。

东京的夜樱

果然生活像一盒巧克力。如果不走出来，你永远不知道今天会遇到谁。

今年去英国的一些感受，可以看这篇文章。

今年的阅读处于懈怠的状态，但同时我也越来越不纠结是否要「读完」一本书。如果在看书的过程中觉得煎熬，也没必要让这个过程一直持续下去。

按这个标准，今年大概翻了十几本书，留下深刻印象的有五六本，包括年初的《金钱心理学 The Phychology of Money》，年中的《埃隆马斯克传》、《我看到的世界》，还有下半年的《The Diary of CEO》、《The Infinite Game》，还有年底正在看的《智人之上 Nexus》。

今年翻过+买的一部分书，也夹杂了一些之前的书

这几本书都强烈推荐，我会尽量多出几期视频，和大家分享下我的读后感。

写到这里，我感觉2024年我的关键词就是「幸运」。新的一年我并不追求幸运延续，只希望能继续做好工作、做好视频和文章，多吸收和感受。

很遗憾2024年有一部译著没有完成，希望2025年能尽快完成，和大家见面，也算是立了一个flag。

当然还有其他的计划，但现在就不说了。毕竟雷总说过，先做再说，如果失败了就当没做过。

雷总的金句

之前的文章中有分享过，不应太关注目标本身，而是更该关注和建立完成目标的体系。就像我今年底希望达到B站50万关注，但如果不去更新内容，制定50万和500万的目标也没什么本制的区别。做学术也是如此，与其目标定在我一定要发某某A类会，不如把重点放在如何提升工作本身和论文写作的质量上，因为只有这些才是我们能真正把握住的。

和之前每年的总结一样，努力把生活过好，健康、平安、开心、做有意义的事情，就是我2025年的目标。

不知道你2025年的目标有哪些？可以评论区聊聊、立个Flag，明年再来还愿。最后，祝大家2025一切顺利！

我的2023年度总结

我的2022年度总结

我的2021年度总结

（注：本文不代表老石任职单位的观点。）

老石谈芯社群组建中！扫码添加小助手进群～