Login / Signup
Synthesis-Embedded Verification.
Michael Dossis
Published in:
SEEDA-CECNSM (2023)
Keyphrases
</>
model checking
neural network
embedded systems
formal analysis
asynchronous circuits
program synthesis
machine learning
learning algorithm
artificial intelligence
video sequences
artificial neural networks
evolutionary algorithm
formal verification
information hiding
false acceptance rate