←返回知识分享
知识分享 · 技术笔记

芯片验证知识笔记|assert、assume、cover:义务、环境边界与空真通过

知识笔记SystemVerilogSVAFormal
🔒

登录后查看完整内容

正文和评论区需要登录之后才能查看,登录只需要一个邮箱,几秒钟搞定。

立即登录