Speed up of Behavioral A.T.P.G. using a Heuristic Criterion.

Jean Franois Santucci, Anne-Lise Courbis, Norbert Giambiasi

Browse the full DAC paper archive.