Assertions Check if Signal is High when it enters a state and Stays High

In reply to pagarwa5:

use until_with.