The analysis of cyclic circuits with Boolean satisfiability.

John D. Backes, Brian Fett, Marc D. Riedel

Browse the full ICCAD paper archive.