Value read = 0f
Value read = 10
Value read = 20
Value read = 21
Value Written = 11
Value Written = 12
Value read = 11
Continuous assertion failed: "ContinuousAssert.bsv", line 20, column 28
Failure: Fail becomes True