SVA——断言属性之序列（sequence与property的用法）
摘要：
文章目录 一、断言简介 1.1.断言分类——立即断言/并发断言 1.2.断言的语法结构层次 二、并发断言序列sequence 2.1. 关键字(sequence、property)与操作符( |=>、|->) 2.2. sequence的重复操作符——连续[*n]、非连续[=n]、跟随[->n] 2 阅读全文
posted @ 2022-10-18 14:32 皮皮祥 阅读(1835) 评论(0) 推荐(1) 编辑