SVA断言函数（assert、assume、rose、fell、stable、past、changed、重复操作)——sv
文章目录
- 一、总线断言函数
- 二、assert和assume
- 三、rose和fell
- 三、stable和past
- 四、changed
- 五、重复操作
- 5.1 [*n]和[*m:n]
- 5.2 [->m]和[->m:n]
- 5.3 [=m]和[=m:n]
一、总线断言函数
$onehot(BUS):BUS中有且仅有1bit是高，其他是低$onehot0(BUS):BUS中有不超过1bit是高，也允许全0；$isunknown(BUS):BUS中存在高阻态或未知态；$coutones(BUS) == n:BUS中有且仅有n bits 是高，其他是低$past(signal,cycle_num,1):returun of cycle past value of signal
二、assert和assume
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！