Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions.

Bijan Alizadeh Masahiro Fujita

Published in: ATVA (2007)

Keyphrases

levels of abstraction
detection accuracy
object detection
detection algorithm
false alarms
event detection
fully automatic
sample points
vehicle detection
automatic detection
detection rate
false positives
object recognition
database
detection method
lower level
np complete
image sequences
case study