返回介绍
文江博客 开发文档 IEEE SystemVerilog 3.1a 语言参考手册 文章详情

H.2.3.5 Other derived operators

发布于 2020-09-09 22:56:16 字数 492 浏览 967 评论 0 收藏 0

? ( R1 and R2 )

((( R1 ##1 1[*0:$]) intersect R2 ) or ( R1 intersect ( R2 ##1 1[*0:$]))) .

? ( R1 within R2 ) ((1[*0:$] ##1 R1 ##1 1[*0:$]) intersect R2 ) .

? ( b throughout R ) (( b [*0:$]) intersect R ) .

? ( R, v = e ) ( R ##0 ( 1, v = e )) .

? ( R, v1 = e1,... ,vk = ek) (( R, v1 = e1) ##0 ( 1, v2 = e2 ,... , vk = ek )) for k > 1

? ( if ( b ) P ) ( b |-> P )

? ( if ( b ) P1 else P2 ) ( ( b |-> P1 ) and ( !b |-> P2 ) )

如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论， 你可以免费 注册 一个本站的账号。
列表为空，暂无数据
    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。
    原文