gate level simulation 到底有什么用

以前我觉得gate level sim没有用，现在发现在复杂的设计中，如果 STA的约束写得不好，根本不会报错，gate level sim 也会在这一层上提供一种检查机制。
以前觉得就是检查x propogation的问题。大家觉得还有其它用处吗?

Dan Joyce's 16 bug types only found with gate-level simulation

Thanks, learn new thing.

看小编注册时间也很久了，难不成是刚转数字IC的新手?