Optimization of sequential verification by history-based dynamic minimization of BDDs.

Rolf Drechsler Wolfgang Günther

Published in: ISCAS (2000)

Keyphrases

optimization algorithm
optimization method
dynamic optimization
dynamic environments
optimization methods
optimization model
real time
optimization problems
dynamically changing
efficient optimization
dynamic programming
heuristic search
combinatorial optimization
global optimization