Enhancing FSM Traversal by Temporary Re-Encoding.

Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich

Browse the full ICCD paper archive.