热搜
搜索历史清空
加入星计划,您可以享受以下权益:
厂商社区
新热企业
新热图谱查看更多
最新原创查看更多
最新直播
所谓形式验证,是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。形式验证方法分为等价性验证、模型检验和定理证明等。
所谓形式验证,是指从数学上完备地证明或验证电路的实现方案是否确实实现了电路设计所描述的功能。形式验证方法分为等价性验证、模型检验和定理证明等。收起
正在努力加载...