那是因为时序逻辑,时间的逻辑就是这样运作的。
And that's because of the temporal logic that's how the logic of time works.
设计人员通常在时序分析上花大量的时间和精力,因为一个微小的时序问题能导致整个设计的逻辑功能的错误。
Designers have to spend most of time and energy on timing analysis, because a slight mismatch would lead whole failure of entire logic function.
在时序逻辑,报表可以有真值,可以在不同的时间。
In a temporal logic, statements can have a truth value which can vary in time.
应用推荐