assertion）？断言可以用来完成？
断言要求？
formal verification）中穷尽计算，找出违例（violation）emulation中基于断言的验证方法学（assertion based verifivation，AVB），分为两种类型：
immediate assertion），非时序的，事件变化敏感，执行时如同过程语句，在initial/always过程块，或者task/function中使用。concurrent assertion），时序性的，时钟边缘敏感，关键词property用来区分立即断言和并行断言。并行断言是与设计模块一同并行执行的。