효율적인 SoC 논리합성을 위한 혼합방식의 설계 방법론

서영호 ,  김동욱

한국정보통신학회논문지

2012 .03

다단 논리합성을 위한 성능 구동형 회로 다단기 ( Performance-Driven Multi-Levelizer for Multilevel Logic Synthesis )

이재흥 ,  정정화

전자공학회논문지-A

1993 .11

다단 논리합성을 위한 출력 Phase 할당 알고리듬 ( Output Phase Assignment Algorithm for Multilevel Logic Synthesis )

이재흥 ,  정정화

전자공학회논문지-A

1991 .10

효율적 상태공간 표현에 의한 비동기회로의 논리합성 ( A Compact State Space Representation for an Efficient Logic Synthesis of Speed-Independent Circuits )

김의석 ,  이동익

대한전자공학회 학술대회

1997 .01

Logic Synthesis

황선영

CAD기술특강

1989 .01

다단 논리를 위한 위상할당 알고리즘에 관한 연구 ( A New Phase Assignment Algorithm for the Multi-Level Logic )

서기범 ,  김애신 ,  이재흥 외 2명

대한전자공학회 학술대회

1990 .11

AN APPROACH FOR LOGIC SYNTHESIS

Takeshi Yoshimu ,  a

ICVC : International Conference on VLSI and CAD

1989 .01

이진 결정 그래프를 이용한 기본 소자 수준의 속도 독립 회로 구현성 검사 및 논리합성 ( Basic Gate Level Logic Synthesis of Speed Independent Circuit Using Binary Decision Diagram )

이정근 ,  김의석 ,  이동익

대한전자공학회 학술대회

1997 .11

Logic Synthesis and Optimization

김보관

CAD기술특강

1991 .01

AN EFFICIENT ALGORITHM FOR MULTI-LEVEL LOGIC OPTIMIZATION OF FINITE STATE MACHINES

Jae Yun Lim ,  In Chil Lim

ICVC : International Conference on VLSI and CAD

1989 .01

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

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

대한전자공학회 학술대회

1985 .01

배타 논리합 원리를 이용한 다출력 논리회로 간략화

권오형

한국산학기술학회 논문지

2014 .09

Don't Care를 이용한 논리합성에서의 BDD 최소화 방법 ( BDD Minimization Using Don't Cares for Logic Synthesis )

홍유표 ,  박태근

전자공학회논문지-C

1999 .09

이진 결정 그래프를 이용한 기본 소자 수준의 속도 독립 회로 구현성 검사 및 논리합성

이정근 ,  김의석 ,  이동익

대한전자공학회 학술대회

1997 .11

실리콘 컴파일러 시스템을 위한 논리합성기 및 논리 Optimizer의 구현 ( Implementation of a Logic Synthesizer and a Logic Optimizer )

전주식 ,  엄성용 ,  장경선 외 3명

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

1988 .01

실리콘 컴파일러 시스템을 위한 논리합성기 및 논리 Optimizer 의 구현 ( Implementation of a Logic Synthesizer and a Logic Optimizer )

전주식 ,  엄성용 ,  장경선 외 3명

특정연구 결과 발표회 논문집

1988 .01

언폴딩을 이용한 속도독립회로의 실용적인 논리합성 ( Pragmatic Synthesis of Speed-Independent Circuits Using Unfoldings )

김의석 ,  이동익

대한전자공학회 학술대회

1998 .01

부울함수의 XOR 표현을 기초로 한 저전력 논리합성

황민 ,  이귀상

대한전자공학회 학술대회

2000 .11

Technology Independent Multi-Level Logic Optimization

황승호

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

1992 .01

다단 논리를 위한 위상할당 알고리듬에 관한 연구

서기범 ,  김애신 ,  이재흥 외 2명

대한전자공학회 학술대회

1990 .11