Automatic Verification of High-Level Executable Models Running on FPGAs.

Morgan McColl Callum McColl René Hexel

Published in: ATVA (2023)

Keyphrases

high level
low level
experimental data
probabilistic model
real time
neural network
complex systems
statistical models
conceptual model
programming language
neural network model
accurate models