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

Rolf Drechsler, Wolfgang Gnther

Browse the full ISCAS paper archive.