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

Published in: Int. J. Reconfigurable Comput. (2018)

Keyphrases