Yi-Tin Sun

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Functional Verification

Top Venues

Publications

Grace Wu, Yi-Tin Sun, Jie-Hong R. Jiang
Design partitioning for large-scale equivalence checking and functional correction. DAC (2016)