RTL到门级网表的等价性验证方法
RTL도문급망표적등개성험증방법
Method of RTL-to-Gate Logic Equivalence Checking
저자의 최근 논문