Preparation for conflictFree assertions: (1) change didntFire to didFire; (2) make didFire, waitWire, and logEnqWire of type PulseWireOR so they can be trigger from multiple sources
Preparation for conflictFree assertions: (1) change didntFire to didFire; (2) make didFire, waitWire, and logEnqWire of type PulseWireOR so they can be trigger from multiple sources

cambridgehackers/bluecheck,hanw/bluecheck