聊聊我发的论文：如何用FPGA将芯片验证速度提升4万倍？

芯片验证是整个芯片开发流程中最重要&最耗时的环节，可能没有之一。前不久，我们在2023年FPGA大会上发表了一篇学术论文，讲了我们如何用FPGA加速芯片验证的过程~
------------------------------------------------------------------------------------------------------------------------------------------------
关于我：
大家好，我是芯片工程师老石，欢迎关注我的频道“老石谈芯”。
欢迎订阅👉reurl.cc/8ob9Ej
敲响小铃铛🔔，可以第一时间收到我的频道动态。
我会持续带来更多专注于芯片的科普、硬核知识、以及偶尔极度硬核的技术分析与解读。我也会不断分享高效工作和学习的方法与技巧。更多内容，也欢迎关注我的微信公众号、微博。也欢迎加入我的知识星球，和我进一步交流。
🎵 我使用的音乐/BGM：go.shilicon.com/epidemicsound
📚 我写的书：go.shilicon.com/book
📝 个人网站：www.shilicon.com
📚 公众号：老石谈芯
🏮微博：老石谈芯的老石
🌍知识星球：老石谈芯 - 进阶版
#老石谈芯 #科技

[@laoshi_tec]

希望本期视频对你有帮助！别忘了给我一键三连！ 论文在这里，欢迎各位大佬一起交流合作：dl.acm.org/doi/abs/10.1145/3543622.3573187 关于FPGA，可以看看我写的书：kzbin.info/www/bejne/m3ivZIFqrc14fJo 关于FPGA的研究方向，看看我和帝国理工教授的对谈：kzbin.info/www/bejne/o4aonIWQr5KKesU 关于RISC-V的研究，看看我和包云岗研究员的对谈：kzbin.info/www/bejne/j6O8eIdjqd2Ag68

[@cn4955]

非常喜欢这一期节目 干货满满

[@user-uo1uo6zb6z]

我是台灣人可以至中國就讀IC設計的碩士嗎

[@chih-weihsu2363]

Hello 老石，看到您的論文研究，讓我感覺挺熟悉的，回憶起研究生時期做的專案，同樣是：SoC 結合FPGA 高清晰度的影像內插法，實現硬體影像加速。 這次的想法是把芯片驗證給弄進來，不得不說，這很不簡單👍 因為我感覺這必須仰賴各種EDA tool工具的成熟，確保在各個階段的錯誤能夠被釐清，而讓最後的 mismatch行為，能夠確保是 RTL問題。尤其是當CPU的設計越來越複雜，要加速芯片的驗證就相當的不容易。我從事芯片驗證的時間不久，若有錯誤的地方，再多請各位大佬們幫忙指點了 🙏

[@luting3]

我看到几个问题，第一，Zynq 和包括Zynq后期产品并不是针对这个市场，FPGA可编程部分大小受限而且资源配置没有优化；第二，ARM CPU 属于Embedded CPU， 用于跑reference model 会受到很大限制；第三，ARM CPU 并不能直接观察FPGA里面逻辑运行状况，比起外面通过PCIe 连接的CPU 优势没有那么大，当然在latency 方向会好一些。

[@theeyetheworld]

看完老石谈芯的这篇论文，我真的觉得自己又增加了不少知识的说！老石讲的非常清楚易懂，让我对FPGA的应用有了更深入的了解的说。

[@xia_tou_lan]

佩服博主这样实干的人。正是千千万万个博主这样实干的人，才是推动国家进步的动力

[@koallan7505]

老石 感謝您的對科學的付出👍

[@user-wn4xs1wv5i]

感謝老石的分享。

[@joeking1173]

Really good presentation! Achieved good capability (clear and detailed description of ENCORE), high performance (fast speaking) and low cost (no travel) 😄

[@chixiang]

非常羡慕老石，在这里表达敬意

[@andrewyeh0811]

好強~

[@jakeslee1]

虽然不是很懂，看完了，感谢分享

[@chaokaikai]

厲害

[@yaxinzhu3726]

太厉害了

[@jameschao8212]

这么厉害

[@lowt6751]

老师你咋这么厉害

[@TheTwelveStars]

身為同行，不得不說這個架構真的好

[@vikramvikram3726]

Hi I'm a big fan

[@samzheng5501]

真懷念 xilinx altera 甚至被我拆組合成學生時期的密碼。 可是最終還是沒進入這個領域

[@TT-zg5rm]

Congratulations

[@jackiechan3332]

目前国内是否可以做ISE或者Synopsis的时序综合？ 如果芯片验证已经可以了，按理说这个就是一个优化过程啊，这可是芯片设计ETA的最后的壁垒

[@schiang]

請問這與 Synopsys 的方案除了成本有甚麼具體的不同呢?

[@waterwater2892]

大佬

[@stevedeltora3803]

看老石開秀

[@wenjzp]

一句没听懂。但却看完了。

[@yuxiangchen1218]

感谢老石分享！这套flow是不是只能用于cpu的验证?如果是一些asic的dut，右半部分怎么在arm上emulate出来？

[@user-ob6lk6hu9g]

用高階語言寫一個behavior model吧?

[@aaqzzx]

完全听不懂，但是我有在尝试理解，我强迫自己看完了整篇论文 哈哈

[@Pi_IoT]

老石你好，中科忆海微的PFGA都是自主产权的吗，期望私聊。

[@yifenggao502]

lol 这篇论文作者竟然有我的lecturer

[@deyul]

想請問關於這篇paper 在software function 及RTL function 驗證的地方，是把software 用HLS合成RTL，再去和原本的RTL 比較，還是怎麼做到的？

[@_a_x_s_]

根据他在演讲中的说法：soc层面（图片右边）是一种软件形式的仿真器，相当于是你在一台电脑上跑仿真器一样。然后FPGA方面（图片左侧）则是同种架构的不同实现，相当于是一种独立于右侧软件模拟的软核。 如果拿arm来举例子。你有一个官方的cortex M0开发板，然后自己在FPGA上刷了自己开发的M0软核，并且让他们跑同样的程序。然后都接上对应的调试工具来比对和记录。 换一种不咋准确的方式来说，这就是把原来的独立的fpga开发板和其连接的电脑主机给集成到一起了，以节省人力物力来专注到已经被发现的bug上。

[@traxxas888]

@@_a_x_s_ 软件形式的仿真器，是不是对应时钟也降了很多倍，然后要和RTL那边的时钟要匹配上，才能好做比较？

[@you8164tube]

我们现在就在用fpga验证。啥快用啥

[@zzxxccvv6293]

聽不懂 但是這領域英特爾是不是也很厲害

[@jaalex4395]

有论文的链接么？

[@sjcabbw]

用FPGA 來驗證 FPGA

[@wanjunluo9158]

没有Mentor Graphics了…我们现在是Siemens EDA了

[@jackiechan3332]

FPGA时许综合验证只有赛灵思的ISE和Synopsis

[@jackjack-kw2zh]

這不能跑uvm pattern

[@catcait2547]

工业化了吗？

[@CRRC]

虽然没有看懂我话要多给老师点赞 老石厉害啊！国家的未来 但是注意⚠️信息技术的保密 被别有用心的人发现了

[@CRRC]

还看了林亦的Ai，感觉很多人都是这样厉害 而且还是踏踏实实做实事工程项目

[@leech6579]

第一件事 不难 第二件事很难 第三件事 如何把科学 平民化 低价化 带给大众方便 gps 或是 www 这些事情 才叫难

[@VincentAn]

不懂，为什么不给你签证？

[@Xu_2775]

制裁呗

[@jason_huang]

因为他所研究的技术威胁到美国的国家安全

[@Cordic45]

@@Xu_2775 他自願回去的拉

[@camfocus8888]

他自己選擇的，算是他人生最錯誤的決定吧⋯⋯不然可能沒有國人羨慕的外表但是能更自由發展能走更遠，基本上無法在更上一層但是能光榮故里，不是他的錯是出生在這個體制上很倒霉而已！

[@you8164tube]

失敬失敬！

[@jinma4625]

微小工作🤪

[@zc3721]

所以几万亿就出了这些vlog

[@vincent6377]

中科院计算机研究所副教授。。。。原来是被CCP收编了

[@freedomseekerism]

你看下往期油管视频 就知道了 分红频道🤣

[@vincent6377]

@@freedomseekerism 他这个可能类似于CCP的千人计划这种渠道海归的

[@CRRC]

CCP也没有那么不堪吧！这么好的人才和高手去给别人效力才是真可怕的 如破解北斗导航卫星的那个人

[@CRRC]

我就是秦胖胖们口中的打扫卫生的…..做着最低等的活 看最好深奥的文章 也想能找到有意义的东西

[@kevinnoweebs2775]

羡慕吗loser

[@you8164tube]

英语能力不错。但难逃几个北方人的发音毛病。另外有些动词明明没有ing 却发出ing 的音。 i.e. 要读成 that is.

[@Kuku.22]

揪這個真的沒什麼意義⋯⋯

[@elementsix1167]

这英语已经非常流利了

[@jeffie7648]

笑死了 人家有本事爱怎么读就怎么读 你管得着？你发音好你也去发表论文呀

[@you8164tube]

@@jeffie7648 反正我管定了

[@you8164tube]

@@jeffie7648 用fpga验证芯片设计我天天在做。但因为是商业机密，所以不发表。