The assert statement shown in Section 12.4 can detect two simultaneous events. Three simultaneous events appear to be the same as one event because of the nature of the xor operator. Write an assert statement to detect two or three simultaneous events. You may find it easiest to write a function to perform the logical operation. Include the check in a complete model of the asynchronous state machine and verify its operation using a test bench with random events.