【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, 视频播放量 2280、弹幕量 2、点赞数 109、投硬币枚数 71、收藏人数 70、转发人数 16, 视频作者 爱扑bug的熊, 作者简介 这只熊很懒，只写了一下粉丝群（183731284）和
个人网站（https://www.cuijiacai.com）。，相关视频：（已离职）冒死上传！已经替大家付费了，2025最细嵌入式全套教程，从C语言→51单片机→STM32单片机→RTOS篇→ARM+Linux，涵盖了所有嵌入式知识，【半导体】目前B站最全最细的半导体工艺全套教程。从头到尾带你彻底了解芯片半导体工艺！包含半导体工艺流程介绍、IC芯片、氧化、沉积工艺、CMP等等及封装工艺圈流程，【PLDI'26 Talk】Exploiting Sophisticated Static Analysis for Verilog，什么是时域稳定性分析？ 看完彻底搞懂！Stability Analysis in Time Domain，清华大学电子系科协软件部2025暑期培训，北京大学未名超算队 × LCPU AI Infra Seminars 系列讲座：1.0-活动简介 & From HPC To AI Infra，2026北京智源大会丨强化学习，描绘半导体的新时代图景 2026年05月26日14点，麻省理工学院【中英⚡Python 计算机科学与编程入门|6.100L Fall 2022 Introduction to CS and Programming】，从零设计一颗GPU - 李国旗 - 一生一芯UBL主题分享