Retiming Verification Using Sequential Equivalence Checking.

Brian Kahne Magdy S. Abadir

Published in: MTV (2005)

Keyphrases

verification method
model checking
decision making
image sequences
evolutionary algorithm
sequential search
false acceptance
database
databases
information systems
multi agent
temporal logic
face verification
signature verification
functional verification