Design partitioning for large-scale equivalence checking and functional correction.

Grace Wu, Yi-Tin Sun, Jie-Hong R. Jiang

Browse the full DAC paper archive.