开发者社区 问答 正文

对于Spec的理解?

对于Spec的理解?

展开
收起
商陆呀 2022-05-09 21:13:55 379 分享 版权
1 条回答
写回答
取消 提交回答
  • Spec定义了系统的行为,如图3描述了单比特时钟的行为,Init将clock初始化为0或1,Tick让clock在0和1之间来回跳转,Stutter让clock保持不变。TLA+运行的过程其实就是在图上做遍历。

    2022-05-10 18:13:33
    赞同 展开评论
问答地址: