Representing Time for Behavioral Descriptions
? Such an interval is called a "timeslot "; analogous to
a "control state" in control-flow-based synthesis.
? Timeslot may have many models associated with it:
unspecified, fixed, interval (EDIF miNoMax),
? System temporal behavior is relative; external
inputs map behavior to "slow time."