电子技术论坛_中国专业的电子工程师学习交流社区-中电网技术论坛

标题: 什么是形式验证 [打印本页]

作者: wjx197733 时间: 2004-9-19 18:38 标题: 什么是形式验证

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

欢迎光临电子技术论坛_中国专业的电子工程师学习交流社区-中电网技术论坛 (http://bbs.eccn.com/)