An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.

Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee

Browse the full DAC paper archive.