Timed Circuit Synthesis Using Implicit Methods.

Robert A. Thacker, Wendy Belluomini, Chris J. Myers

Browse the full VLSID paper archive.