RTL中加的SVA的问题
时间：12-12
整理：3721RD
点击：
在用DC综合的时候和Cadence LEC时需不需要加一些bypass的指令？
谢谢
谢谢
跟领导说ARM核都用 `ifdef ARM_ASSERT_ON 来控制，何必弄得流程上麻烦呢