Verification of executable pipelined machines with bit-level interfaces.

Panagiotis Manolios Sudarshan K. Srinivasan

Published in: ICCAD (2005)

Keyphrases

user interface
computer vision
scheduling problem
higher level
data flow
genetic algorithm
artificial intelligence
search engine
video sequences
digital images
model checking