When using Bluespec, state transitions are limited to within rule bodies. Therefore, viewing signals associated with rules can facilitate debug and analysis of designs. Here are some of the types of signals you can send:
- Send Can Fire: allows you to see the cycles in which the rule CAN be schedule to fire
- Send Will Fire: allows you to see the cycles in which the rule IS SCHEDULED to fire
- Send Predicate: sends the values of the signals which compose the explicit condition of the rule, which can be very helpful in determining why a rule will or won't fire in a given cycle
- Send Body: sends the values of the signals in the rule body.