689 followers
RT @AandVNetwork: And the second talk in this session is "CHA: Supporting SVA-like Assertions in Formal Verification of Chisel Programs" By…
RT @AandVNetwork: And the second talk in this session is "CHA: Supporting SVA-like Assertions in Formal Verification of Chisel Programs" By…
And the second talk in this session is "CHA: Supporting SVA-like Assertions in Formal Verification of Chisel Programs" By Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen & Lijun Zhang And is presented remotely URL: https://t