该TAG下暂无资讯

• 形式验证可以做什么？

  5life 发表于 2006-10-19 10:09:00

  我们经常听到形式验证这个名词，也知道它是通过一种数学证明的方式来验证电路。 但是具体来说形式验证到底能做什么呢？ 形式验证可以分为2种： 一是两种模型（RTL vs Gate, RTL vs RTL, Gate vs Gate）在功能上...

该TAG下暂无图片

该TAG下暂无商品

该TAG下暂无软件

该TAG下暂无书签

该TAG下暂无影音