首页 | 新闻 | 新品 | 文库 | 方案 | 视频 | 下载 | 商城 | 开发板 | 数据中心 | 座谈新版 | 培训 | 工具 | 博客 | 论坛 | 百科 | GEC | 活动 | 主题月 | 电子展
返回列表 回复 发帖

什么是形式验证

什么是形式验证

现在做集成电路好像不提什么后仿真了。时髦的名词是“形式验证”。不知道这个“形式验证”是什么东西。哪位大哥有相关资料,麻烦共享一下。谢谢了!!!!
返回列表