Lazy group sifting for efficient symbolic state traversal of FSMs.

Hiroyuki Higuchi, Fabio Somenzi

Browse the full ICCAD paper archive.