支持多抽象层次设计的验证平台
지지다추상층차설계적험증평태
The Verification Platform Supporting Multiply Abstraction Level Design
저자의 최근 논문