w*****r
发帖数: 348 | 1 想请问一下做验证的时候,如果每个子模块都验证正确了,能不能说顶层的就是正确的.
对于有的system来说，一次性验证太难了。 | r********o
发帖数: 128 | 2 不能,每个模块的边界,接口是最起码的.
chip-level还是必须的.
【在 w*****r 的大作中提到】
: 想请问一下做验证的时候,如果每个子模块都验证正确了,能不能说顶层的就是正确的.
: 对于有的system来说，一次性验证太难了。
| w*****r
发帖数: 348 | 3 那么chip-level verification 一般应该以什么为标准呢？functional coverage?
code coverage? assertion?
【在 r********o 的大作中提到】
: 不能,每个模块的边界,接口是最起码的.
: chip-level还是必须的.
| n****a
发帖数: 3 | 4 所以 验证是一门科学
【在 w*****r 的大作中提到】
: 想请问一下做验证的时候,如果每个子模块都验证正确了,能不能说顶层的就是正确的.
: 对于有的system来说，一次性验证太难了。
| r********o
发帖数: 128 | 5 functional为主吧
我觉得
code和assertion module阶段弄好
【在 w*****r 的大作中提到】
: 那么chip-level verification 一般应该以什么为标准呢？functional coverage?
: code coverage? assertion?
| T******T
发帖数: 3066 | 6 Definitely not. System simulation is essential for functional verification.
【在 w*****r 的大作中提到】
: 想请问一下做验证的时候,如果每个子模块都验证正确了,能不能说顶层的就是正确的.
: 对于有的system来说，一次性验证太难了。
| w*****r
发帖数: 348 | 7 Thanks, all.
【在 w*****r 的大作中提到】
: 想请问一下做验证的时候,如果每个子模块都验证正确了,能不能说顶层的就是正确的.
: 对于有的system来说，一次性验证太难了。
|
|
