On breakable cyclic definitions.

Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton

Browse the full ICCAD paper archive.