写interface assertion需要如何看书

小科白菜

I just have a look at some e-books on SVA, but it is too much for me to write interface assertion alone, so I am wondering to what extend I should know about assertions just for time-bound tasks.

当前有很多关于assertion的电子书，但是章节繁多，如果只要写interface assertion的话，是不是可以挑重点章节看呢？非常感谢如果能指出哪些东西必须要知道的，包括interface的信号间关系的种类等等，这样我可以针对项目有个大概的了解。

I will appreciate it if you can point out the detailed sections of certain SVA book that I should pay close attention to.

小科白菜

不知道为什么字体变颜色了。

saipolo

常用的就那么一些，其实你完全可以看ovl，这是是用断言写的一些断言库，使用方便就像你写应用程序直接调用库函数和api一样。ovl是开源库，你只要看懂接口就行了。