AutoTrans Framework for RISC-V Security Assertions
AutoTrans reduces hardware security verification time from hours to minutes per assertion, making it valuable for RISC-V developers in ASEAN.
#硬件安全
3 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "硬件安全", newest first.
Sep 10
Aug 6
Papers12:01
Chinese contentChiplet 与 LLM 时代的硬件设计与安全这篇论文把 chiplet 和 LLM 两个热点合在一起聊硬件安全，既有攻击面分析也有防御方案，做芯片安全的值得看看。
Jul 31
Papers10:35
Chinese contentCHARGE框架：用CWE层次结构生成硬件安全断言用GPT-4.1给硬件RTL自动生成安全断言，Hack@DAC'21上89%能跑通，还抓到一个新bug，做芯片安全的值得看。