http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
장준영(June-Young Chang),이귀상(Guee-sang Lee) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1
본 논문에서는 BDD(Binary Decision Diagrams)를 이용한 다단계 리드뮬러회로 합성 방법을 제시한다. 기존의 다단계 논리합성 도구인 FACTOR는 map형태의 행렬로 표현된 논리함수를 입력으로 하여 연속적인 입력변수 분할에 의해 다단계 회로를 합성해 간다. 이 때 논리합성 방법은 map을 사용하기 때문에 입력 갯수에 따라 표현공간이 지수적으로 증가하고 이에 비례하는 연산시간이 필요하게 되어 대규모회로를 합성하기 어렵다. 이러한 단점을 해결하기 위해 BDD로 표현된 함수를 입력으로 하여 다단계회로를 합성하는 방법이 제시되었다. 이 방법은 진리표형태의 map대신에 BDD를 사용하므로 합성에 필요한 표현공간과 연산시간이 감소되어 대규모회로를 쉽게 표현 처리할 수 있다. Benchmark 회로에 대한 실험결과, 소규모회로에서는 합성결과와 연산속도면에서 개선된 결과를 보이나 대규모회로에 대해서는 아직 기존의 방법보다 좀 더 좋은 결과를 보이지는 않는다. 이는 BDD의 입력순서와 관계 있는 것으로 보이며 최적의 BDD 입력순서를 찾는 방법이 연구되어지고 있다. 그러나 symmetric 함수에서는 최적의 결과를 구하는 장점이 있다.
장준영(June Young Chang),이형수(Hyoung Soo Lee),천승환(Seung Hwan Cheon),이귀상(Guee Sang Lee) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.1
본 논문은 다단계 리드뮬러회로(Multi-level Reed Muller Circuits)를 자동적으로 합성하기 위한 효율적인 방법을 제시한다. 최근에 제안된 입력분할에 의한 다단계 논리합성도구인 FACTOR는 효과적으로 칩면적의 최소화, 회로의 지연시간 최소화, 결함검출 능력의 극대화등의 요구를 수용하는 장점에 비해 형렬형태만을 입력으로 사용하기 때문에 그 효과가 반감되고 있다. 이러한 단점을 극복하기 위해 회로의 함수를 진리표대신에 논리식과 같은 상징적인 형태로 표현하여 대규모의 회로를 쉽게 표현, 처리할 수 있는 새로운 다단계 리드뮬러회로 합성 알고리즘을 제안한다. 논리합성의 시작을 2단계 최적화를 거친 cube 형태의 논리식으로부터 시작하여 행렬변환을 사용하면서 행렬형식의 연산을 논리식의 연산으로 전환시키므로 효과적으로 다단계 리드뮬러회로로 합성해 간다.
장준영(Chang June Young),이귀상(Lee Guee Sang) 한국정보처리학회 1996 정보처리학회논문지 Vol.3 No.3
This paper presents a synthesis method for multy-level Reed-Muller circuits using BDDs(Binary Decision Diagrams). The existing synthesis tool for Reed-Muller circuits, FACTOR, is not appropriate to the synthesis of large circuits because it uses matrix(map-type) to represent given logic functions, resuleing in the exponential time and space in number of input to the circuits. For solving this problems, a synthesis method based on BDD is presented. Using BDDs, logic functions are represented compactly. Therefore storage spaces and computing time for synthesizing logic funtions were greatly decreased, and this technique can be easily applied to large circuits. Using BDD representaltons, the proposed method extract best patterns to minimize multi-level corcuits. Therefore resulting circuits are with AND/XOR gate which form a unique class of multi-level Reed-Muller circuits with good performance in area optimization and testavility. Experimental results using the proposed method show better performance than those using previous method[2]. for large circuits of considering the best input partition, synthesis results have been improved.
이동건(Dong Geon Lee),장준영(June Young Chang),이귀상(Guee Sang Lee) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2
본 논문에서는 불완전하게 표현된 함수의 리드뮬러 회로를 합성하는 방법을 제시한다. 함수의 don't care항을 행렬연산을 이용하여 처리할 수 있는 새로운 알고리즘을 제시하고, 이것을 FACTOR의 행렬연산에 적용하여 효과적으로 리드뮬러회로를 합성하도록 확장하였다. 이 알고리즘은 NeXT Station에서 C 언어로 구현되었으며, 예제 회로를 통해서 실험 결과를 비교 분석하였다.
이단계 Reed - Muller 회로의 최소화를 위한 휴리스틱 알고리즘
이화(Hwa Lee),장준영(June Young Chang),이귀상(Guee Sang Lee) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.1
본 논문에서는 이단계 리드뮬러회로의 최소화에 관한 새로운 방법을 계시한다. 리드뮬러회로를 최소화하기 위해 두개의 큐브를 묶는 기존의 xlinking 방법과는 달리, 본 논문에서 제안한 최소화 방법은 주어진 함수의 ON-set를 커버할 때까지 한번에 하나씩 큐브를 선택해 나가는 방법이다. 적절한 큐브를 선택하기 위해 두가지 휴리스틱이 사용되었다. 즉, 가장 큰 큐브부터 시작하여 가장 작은 큐브까지 차례로 시도하면서 남아있는 항의 수를 줄일 수 있는 큐브를 선택하는 휴리스틱과, 같은 크기의 큐브들에서는 가장 이득이 많은 큐브를 선택하는 방법이다. 또한 패리티 타입 함수를 효과적으로 커버할 수 있는 방법도 시도해 보았다. 어떤 큐브가 한번 선택되어지면 새로운 큐브를 선택할 때, 이미 선택된 큐브는 고려하지 않기 때문에 반복적인 최소화 과정이 필요하는 기존의 방법보다 시간이 적게 걸린다. 실험결과, 다른 문헌에 나타난 가장 좋은 결과보다 여러가지 경우에서 개선된 결과를 보여주었다.
이귀상(Guee-sang Lee),장준영(June-young Chang) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2A
본 논문에서는 함수복잡도를 고려한 큐브선택에 의한 이단계 리드뮬러표현의 최소화 방법을 제시한다. 리드뮬러표현을 최소화하기 위해 두개의 큐브(cube)를 묶는 기존의 Xlinking 방법과는 달리, 큐브선택 방법은 주어진 함수의 ON-set를 커버할 때까지 한번에 하나씩 큐브를 선택해 나가는 새로운 방법이다. 이 방법은 대개의 benchmark 함수에 대해 잘 동작하나 격자형 배치를 갖는 패리티 타입 함수에 대해서는 좋지 않은 성능을 보인다. 이를 해결하기 위해 큐브선택의 기준이 되는 비용함수로써 그 큐브에서의 ON-set의 크기 대신에 함수의 복잡도를 사용한다. 따라서 단지 ON-set의 크기만을 고려하는 대신 ON-set을 구성하는 minterm들이 얼마나 서로 가깝게 되어 하나의 큐브로 묶어질 수 있는지 즉, 함수가 얼마나 다음의 최소화에 유리한 형태로 변화되는 지를 중요시하게 되며 이는 특히 격자형 함수의 최소화에 잘 동작한다. 실험결과, 격자형함수뿐만아니라 일반적인 경우에도 기존의 결과보다 개선된 결과를 보인다.