CDC Seminar Apr 2014 - c2.pdf(IC设计跨时钟域检查)