지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Logic Synthesis
CAD기술특강
1989 .01
AN APPROACH FOR LOGIC SYNTHESIS
ICVC : International Conference on VLSI and CAD
1989 .01
Logic Synthesis and Optimization
CAD기술특강
1991 .01
Verification of results
한국소음진동공학회 세미나자료집
2009 .11
Logic Simulation
대한전자공학회 단기강좌
1983 .01
Control of Flexible Link using Mixed H2/H∞ and μ-Synthesis Method
제어로봇시스템학회 국제학술대회 논문집
2001 .10
Top-Down Design Synthesis
전자공학회지
1992 .01
A Rule - Based Hardware Description Language and Verification of Logic Circuits
한국정보과학회 학술발표논문집
1986 .10
확장논리에 기초한 순차디지털논리시스템 및 컴퓨터구조에 관한 연구
한국인터넷방송통신학회 논문지
2008 .01
A Logic Verification of Hardware-Software Co-design to Develop a SoC Device
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
FINGERPRINT VERIFICATION SYSTEM - VERIFICATION ALGORITHM -
IEEE Region 10 Conference
1987 .01
Logic Gate간의 상호 연결도 검증 ( Verification of Logic Gate Interconnectivity )
대한전자공학회 학술대회
1985 .01
“소프트웨어 검증” 특집을 내면서
정보과학회지
2019 .04
LOGIC SYNTHESIS AND SILICON COMPILATION FOR TELECOMMUNICATION SYSTEMS
ICVC : International Conference on VLSI and CAD
1989 .01
연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법
산업경영시스템학회지
2015 .01
효율적인 SoC 논리합성을 위한 혼합방식의 설계 방법론
한국정보통신학회논문지
2012 .03
An Output Phase Assignment Algorithm for Multilevel Logic Synthesis
ICVC : International Conference on VLSI and CAD
1991 .01
A Framework for Integrated Hardware-Software Co-verification of Multiprocessor SoC
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2005 .07
게이트 레벨 논리 검증 시스템 ( A Gate Level Logic Verification System )
대한전자공학회 학술대회
1987 .05
Synthesis of Incompletely Specified Multiple-Valued Logic Functions Using Spectral Technique
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1995 .01
0