Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.

In-Ho Moon Carl Pixley

Published in: FMCAD (2004)

Keyphrases

heuristic search
decision diagrams
search algorithm
dynamic programming
real time
machine learning
genetic algorithm
decision making
e learning
reinforcement learning
first order logic
efficient computation
asynchronous circuits
total order