endproperty

在给出的引用中，endproperty是一个关键字，用于结束并发断言的属性描述。在并发断言中，使用property...endproperty来描述事件。assert关键字用于启动断言检查，用于检查是否符合属性描述的流程。assume关键字将属性作为假设条件，验证环境必须满足属性要求。cover关键字用于收集设计行为的覆盖率。而ended关键字用于测试任意序列是否到达结束点。<span class="em">1</span><span class="em">2</span><span class="em">3</span>
#### 引用[.reference_title]
- *1* [property_sets:在边表中存储属性的方法](https://download.csdn.net/download/weixin_42164931/18477023)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 33.333333333333336%"]
- *2* [system verilog property assertion 断言](https://blog.csdn.net/qq_40456702/article/details/124574963)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 33.333333333333336%"]
- *3* [SVA——断言属性之序列（sequence与property的用法）](https://blog.csdn.net/weixin_46022434/article/details/105469623)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 33.333333333333336%"]
[ .reference_list ]