Showing results 1 to 3 of 3
(A) design of generic memory model for verification system = 검증 시스템을 위한 통합 메모리 모델의 설계link Hwangbo, Woong; 황보웅; et al, 한국과학기술원, 2004 |
Implementing the flexible development platform to verify IP for SoC with multi-core = 다중코어 SoC 상의 IP 검증을 위한 개발환경 구축link Kim, Seon-Pil; 김선필; et al, 한국과학기술원, 2004 |
Performance-optimized synthesis of finite temporal property for functional coverage in co-emulation system = 에뮬레이션 시스템에서 기능검증 보장을 위해 유한한 길이의 속성을 최적화된 성능을 갖도록 합성하는 방법의 제안link Kim, Hyung-Ock; 김형옥; et al, 한국과학기술원, 2004 |
Discover