SEU-X: A SEu un-excitability prover for SRAM-FPGAs.

Cinzia Bernardeschi Luca Cassano Andrea Domenici

Published in: IOLTS (2012)

Keyphrases

power consumption
theorem proving
real time
machine learning
artificial intelligence
social networks
artificial neural networks
expert systems
knowledge representation
general purpose
theorem prover