search

ustcanycall / OS

0 stars 0 forks source link

computing needs time 总结 #21

Open ustcanycall opened 10 years ago

ustcanycall commented 10 years ago

A corret execution is any execution consistent with the semantics of the design. A repeatable behavior is a behavior exhibited by every correct execution given the same inputs in that behavior. A predictable behavior is a behavior that can be determined in finite time by analysis of the design.