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