Login / Signup
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications.
Fritjof Bornebusch
Christoph Lüth
Robert Wille
Rolf Drechsler
Published in:
MODELSWARD (Revised Selected Papers) (2020)
Keyphrases
</>
hardware design
hardware implementation
false positives
automatic detection
object detection
fpga hardware
detection method
detection rate
formal specification
false alarms
bayesian networks
real time
efficient implementation
open source
low cost
field programmable gate array
high level
artificial intelligence