Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions Article in International Journal of Reconfigurable Computing (July 2018)