Modelling and verification of parameterized architectures: A functional approach.

Salah Merniz Saad Harous

Published in: IET Comput. Digit. Tech. (2021)

Keyphrases

functional verification
model checking
three dimensional
formal verification
databases
neural network
information retrieval
formal methods
signature verification
functional units
case study
data structure
digital libraries
temporal logic
heterogeneous environments
neural architectures