0

我想在属性“如果在时间 t 的输入为 0 并且在时间 t+1 的输入为 1 则系统重置将是 1 ”属性中写下这条语句我是这样写的，

xin(t)==0 && xin(t+1)==1 --> 重置==1。

但它显示错误“预期功能”。我怎样才能写一个函数。

谢谢

4

1 回答 1

0

假设这t是一个时钟并且xin是一个变量，那么试试这个作为查询：

t==0 && xin==0 --> t==1 && xin==1 imply reset==1
于 2017-04-17T17:17:25.080 回答