2024年11月16日
形式验证和符号推理
摘要： 符号推理，简单调研一下 符号 vs 模拟 形式验证和 UVM 验证方法（Functional Verification）本质出发点是不同的，一个基于符号逻辑推理，另一个基于模拟器。 比如有组合电路 A 和组合电路 B，要验证他们逻辑功能一致，即真值表一致。 ⚠️以下内容有猜测部分，待调研工具具体实现 阅读全文
posted @ 2024-11-16 22:41 DevilXXL 阅读(6) 评论(0) 推荐(0) 编辑