Integer Overflow Detection in Hardware Designs at the Specification Level.

Fritjof Bornebusch Christoph Lüth Robert Wille Rolf Drechsler

Published in: MODELSWARD (2020)

Keyphrases

hardware designs
detection algorithm
automatic detection
high level
false positives
detection method
neural network
object detection
detection rate
false alarms
levels of abstraction
target detection
real time
data processing