Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams.

Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel

Browse the full DAC paper archive.