Synchronization verification in system-level design with ILP solvers.

Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita

Browse the full MEMOCODE paper archive.