Login / Signup
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions.
Bahram N. Uchevler
Kjetil Svarstad
Published in:
Int. J. Reconfigurable Comput. (2018)
Keyphrases
</>
functional programming
functional language
programming language
execution model
quantifier elimination
object oriented programming
model checking
high level
databases
data model
management system
general purpose
hardware implementation