Algorithms for Approximate FSM Traversal.

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi

Browse the full DAC paper archive.