摘要： 一：初实assertion 断言就是一段描述设计期望行为的代码。 目前， 对断言的使用主要在于仿真， 但断言的能力不仅仅如此。 断言是基于一些更加基础的信息， 我们称之为属性 （ Ｐｒｏｐｅｒｔｙ）， 属性可以用来作为断言、 功能覆盖点、 形式检查和约束随机激励生成。 断言可以嵌入到设计当中， 也可 阅读全文