Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques.

Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto

Browse the full DAC paper archive.