Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions

Figure 3

(a) A PSL sequence and the equivalent PSL Boolean expression. (b) A matching diagram for the expression.

(a)

(b)