属性(property)：逻辑组合的基石，可以引用序列，是断言的核心组成部分。断言(assert)：通过property构建，可以是两段式或三段式，灵活度和精确度都得到提升。内嵌函数： - $rose和$fell：监测信号电平变化，是快速检查信号动态的得力助手。 - $stable：判断表达式的稳定状态，确保信号行为的确定性。