使用局部建模的微处理器测试程序自动生成方法
사용국부건모적미처리기측시정서자동생성방법
Test Program Generation for Microprocessor Verification Using Local Modeling Strategy
저자의 최근 논문