【POPL'26 Talk】ChiSA: Static Analysis for Lightweight Chisel Verification_哔哩哔哩_bilibili

Name: 【POPL'26 Talk】ChiSA: Static Analysis for Lightweight Chisel Verification
Uploaded: 2026-01-21T01:00:00.000Z
Duration: 26 min 27 s
Channel: 爱扑bug的熊
Description: 拖更了好久，因为读博去了，最近完成了我的第一份工作以及第一个学术会议 Talk，给大家转载一下，顺便也分享一下我的个人学术主页链接：https://www.cuijiacai.com/ （内有论文链接）。 原官方油管链接：https://www.youtube.com/live/x0gaj-Mjrb0?si=wfHErj5Ofjv517kp&t=3040

爱扑bug的熊

拖更了好久，因为读博去了，最近完成了我的第一份工作以及第一个学术会议 Talk，给大家转载一下，顺便也分享一下我的个人学术主页链接：https://www.cuijiacai.com/ （内有论文链接）。原官方油管链接：https://www.youtube.com/live/x0gaj-Mjrb0?si=wfHErj5Ofjv517kp&amp;t=3040, 视频播放量 2319、弹幕量 2、点赞数 109、投硬币枚数 71、收藏人数 70、转发人数 16, 视频作者 爱扑bug的熊, 作者简介 这只熊很懒，只写了一下粉丝群（183731284）和
个人网站（https://www.cuijiacai.com）。，相关视频：70年老算法Dijkstra被证明普遍最优 斩获顶会FOCS 2024最佳论文，第十六届蓝桥杯省赛嵌入式一等奖，多年C++老用户有幸见到C++之父，太激动了，把运气分享给大家，从此编译一遍过，代码无BUG！，♿数模国赛轮椅流♿ | 基于dsh的全自动数学建模harness———一种编程手无痛打数模的开源解决方案（github开源），一个残酷的事实：仅靠江科大的STM32，在2026年确实找不到工作，👉 外网炸了！24 人做出“只能跑 8B”的芯片，却跑到 17000 tokens/s？推理成本被打穿？Taalas 17000 tokens/s 实测演示，为什么国人写不出一本能平替甚至超越《深入理解计算机系统》的好书？，机翻也配拿国自然（和其他一大堆基金）？——《集成电路设计中的电源管理技术》机械工业出版社译本毫不负责，没人提还是真凉了？国内吹了好几年的RISC-V 真实的情况可能跟你想的不太一样。。。【X.PIN】，从夯到拉，锐评面试官眼里的嵌入式项目