VERISEC: verifying equivalence of sequential circuits using SAT.

Manan Syal Michael S. Hsiao

Published in: HLDVT (2005)

Keyphrases

search algorithm
satisfiability problem
high speed
delay insensitive
sat problem
sat solvers
model checking
stochastic local search algorithms
search strategies
sequential data
domain independent
digital circuits
analog circuits
sat encodings
sat solving
satisfiability testing
tunnel diode