Multiple clock domain synchronization in a QBF-based verification environment.

Djordje Maksimovic, Bao Le, Andreas G. Veneris

Browse the full ICCAD paper archive.