1. 建立SVA块 SVA用关键词sequence（序列）来表示设计中的逻辑事件。序列的基本语法是： sequence name_of_sequence <test expression> endsequence 许多序列可以逻辑或者有序的组合 ...

1 Introduction 1.1 What is an assertion? (1)a "statement of fact"or "claim of truth"made about ...