Efficient SAT-Based Circuit Initialization for Larger Designs.

Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker

Browse the full VLSID paper archive.