【PLDI'26 Talk】Exploiting Sophisticated Static Analysis for Verilog_哔哩哔哩_bilibili

Name: 【PLDI'26 Talk】Exploiting Sophisticated Static Analysis for Verilog
Uploaded: 2026-07-14T07:15:20.000Z
Duration: 19 min 13 s
Channel: 爱扑bug的熊
Description: 今年在 PLDI 的学术 Talk，给大家转载一下。 学术主页链接：https://www.cuijiacai.com/ （内有论文链接）。 原官方油管链接：https://www.youtube.com/live/v29wqpkiePo?si=tYVcD1qQX8T6JcqK&t=13199

爱扑bug的熊

今年在 PLDI 的学术 Talk，给大家转载一下。学术主页链接：https://www.cuijiacai.com/ （内有论文链接）。原官方油管链接：https://www.youtube.com/live/v29wqpkiePo?si=tYVcD1qQX8T6JcqK&amp;t=13199, 视频播放量 564、弹幕量 0、点赞数 57、投硬币枚数 28、收藏人数 17、转发人数 5, 视频作者 爱扑bug的熊, 作者简介 这只熊很懒，只写了一下粉丝群（183731284）和
个人网站（https://www.cuijiacai.com）。，相关视频：北京大学未名超算队 × LCPU AI Infra Seminars 系列讲座：1.0-活动简介 & From HPC To AI Infra，FPGA集训，清华大学电子系科协软件部2025暑期培训，AI+FPGA革命：Claude Code + DeepSeek打造全自动FPGA开发工具链，常见问题——峰值检测电路 | 西安交大杨建国 模拟课第五季，【开源】【复刻】逻辑分析仪(CH32H417WEU6版本)，Quartus II 13.1 软件安装教程，附免费安装包，12V转3.3V，为什么很多人要经过一个DCDC转化为5V再用LDO转成3.3V，真的是脱裤子放屁吗，三片扇叶一转，内存迅速完蛋的Vivado来了！，【数字电路|第14集】反馈法实现任意进制，原来这么简单？！