A Framework for Integrated Hardware-Software Co-verification of Multiprocessor SoC

Muhammad Faisal ,  Jong Won Kim

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2005 .07

In - System Verification of C - based SOC Design at early design stage

Dynalith Systems

대한전자공학회 기타 간행물

2001 .11

Model-based SoC design using ESL environment

Dai ARAKI ,  Atsushi NAKAMURA ,  Masayuki MIYAMA

대한전자공학회 ISOCC

2010 .11

“소프트웨어 검증” 특집을 내면서

배경민 ,  이선아

정보과학회지

2019 .04

IT-SoC

김시호

TTA 저널

2005 .01

Effective Verification Environment using SoC Platform

Chan-Min Jung ,  Byung-Gyu Ahn ,  Ki-Seok Chung 외 1명

대한전자공학회 ISOCC

2006 .10

SoC 가상화 플랫폼을 이용한 SoC 구조 개발 및 검증 방법

이형로 ,  김원종 ,  조한진 외 1명

전자공학회논문지

2017 .11

SoC Platform Design and Verification for Multimedia Application

Hongkyun Jung ,  Xianzhe Jin ,  Younjin Jung 외 3명

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2008 .07

System C를 이용한 SOC 설계 방법

홍진석 ,  김주선 ,  배점한

대한전자공학회 학술대회

2000 .06

개선된 SoC에 관한 연구

박춘명

대한전자공학회 학술대회

2016 .11

A Logic Verification ＆ Synthesis System ( I ) ( A Logic Verification and Synthesis System ( 1 ) )

조중휘 ,  이성봉 ,  박성범 외 1명

대한전자공학회 학술대회

1985 .01

Constraint-Based hardware Verification

Pie ,  e Gabou ,  y

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1993 .01

IT SOC 기술

선우명훈

전자공학회지

2009 .02

[특집:SoC Platform 설계기술]SoC Front-end 설계를 위한 통합 환경

김기선 ,  김성식 ,  이희연 외 2명

전자공학회지

2003 .09

하드웨어/소프트웨어 Co-Verification 환경기반 고효율 하드웨어 IP 검증 기법

김태홍 ,  홍정현 ,  정기석

한국통신학회 학술대회논문집

2014 .01

IT SoC Network

IT-SOC협회 ,  IT-SoC Association

IT SOC magazine

2006 .01

IT SoC Network

IT-SOC협회 ,  IT-SoC Association

IT SOC magazine

2006 .01

IT SoC Network

IT-SOC협회 ,  IT-SoC Association

IT SOC magazine

2006 .01

IT SoC Network

IT-SOC협회 ,  IT-SoC Association

IT SOC magazine

2006 .01