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

Bahram N. Uchevler, Kjetil Svarstad. Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions. Int. J. Reconfig. Comp., 2018, 2018. [doi]

Abstract

Abstract is missing.