Simulation-based verification of large-integer arithmetic circuits.

Nejmeddine Alimi Younes Lahbib Mohsen Machhout Rached Tourki

Published in: IVSW (2016)

Keyphrases

integer arithmetic
asynchronous circuits
model checking
euclidean distance transform
binary images
computer vision
image processing
object recognition
np hard
mobile robot
d objects
gray scale
similarity search