Skip to main content

박인철 교수

Ic Park

KAIST 반도체시스템공학과 · 컴퓨터과학

연구실 소개

박인철 교수의 연구실은 디지털 신호 처리 및 하드웨어 최적화 분야에서 주로 활동하며, 특히 고성능 디지털 필터 설계와 하이레벨 합성 기법에 초점을 맞추고 있습니다. 상수 계수 곱셈의 복잡도를 줄이기 위한 효율적 수치 체계(예: 최소 부호 디지트 표현)와 이를 기반으로 한 스케줄링 알고리즘 개발이 핵심 연구 주제입니다. 또한, 복잡한 데이터 경로와 제약 조건을 고려한 최적의 자원 할당 및 스케줄링을 가능하게 하는 그래프 기반 모델링 기법을 개발하고 있습니다. 이는 고속·저전력 하드웨어 아키텍처 설계에 기여하고 있습니다.

하이레벨 합성디지털 필터 설계스케줄링 알고리즘수치 체계 최적화하드웨어 최적화

연구 현황

논문 수
336
총 인용 수
3,534
최근 5년 논문
18
주요 분야
컴퓨터과학

연구 성과 추이

표시된 성과는 수집된 데이터 기준으로 산출되며, 일부 차이가 있을 수 있습니다.

5개년 연도별 논문 게재 수
18총합
2022
2023
2024
2025
2026
5개년 연도별 피인용 수
94총합
20222023202420252026

주요 논문

15
1
논문|인용수 108·2001
Digital filter synthesis based on minimal signed digit representation
In‐Cheol Park, Hyeong‐Ju Kang

As the complexity of digital filters is dominated by the number of multiplications, many works have focused on minimizing the complexity of multiplier blocks that compute the constant coefficient multiplications required in filters. The complexity of multiplier blocks can be significantly reduced by using an efficient number system. Although the canonical signed digit representation is commonly used as it guarantees the minimal number of additions for a constant multiplication, we propose in thi

Signal ProcessingComputer Science
2
논문|인용수 88·2002
Digital filter synthesis based on an algorithm to generate all minimal signed digit representations
In‐Cheol Park, Hyeong‐Ju Kang
SJR Q1IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

In this paper, the authors propose an algorithm to find all the minimal signed digit (MSD) representations of a constant and present an algorithm to synthesize digital filters based on the MSD representation. The hardware complexity of a digital signal processing system is dependent on the number system used for the implementation. Although the canonical signed digit (CSD) representation is widely employed, as it is unique and guarantees the minimal number of nonzero digits for a constant, the M

Signal ProcessingComputer Science
3
논문|인용수 34·1991
Fast and near optimal scheduling in automatic data path synthesis
In‐Cheol Park, Chong-Min Kyung
OA

A new heuristic scheduling algorithm which has a feature of escaping from local minima is presented. The algorithm has a polynomial time complexity in spite of its iterative nature. Although there is no guarantee for the optimality, the algorithm produced optimal results for the experimental examples of earlier works. A graph model which contains information on the real world constraints such as multi-cycle operations, chained operations and pipelined data paths is also proposed as a general mod

Electrical and Electronic EngineeringEngineering
4
논문|인용수 31·1993
FAMOS: an efficient scheduling algorithm for high-level synthesis
In‐Cheol Park, Chong‐Min Kyung
SJR Q1IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

FAMOS, an iterative improvement scheduling algorithm for the high-level synthesis of digital systems, is described. The algorithm is based on a move acceptance strategy and various selection functions defined to represent the cost of hardware resources such as functional units and registers. A main feature of the algorithm is that it can escape from local minima. The algorithm can deal with diverse design styles such as multi-cycle operations, chained operations, pipelined datapaths, pipelined f

Hardware and ArchitectureComputer Science
5
논문|인용수 27·2005
Scheduling Algorithm for Partially Parallel Architecture of LDPC Decoder by Matrix Permutation
In‐Cheol Park, Se-Hyeon Kang

The fully parallel LDPC decoding architecture can achieve high decoding throughput, but it suffers from large hardware complexity caused by a large set of processing units (PUs) and complex interconnections. A practical solution of area-efficient decoders is to use the partially parallel architecture in which a PU is shared for several rows or columns. It is important in the partially parallel architecture to determine the rows or columns to be processed in a PU and their processing order. The d

Computer Networks and CommunicationsComputer Science
6
논문|인용수 13·2009
Multiplier-less and table-less linear approximation for square and square-root
In‐Cheol Park, Tae-Hwan Kim

Square and square-root are widely used in digital signal processing and digital communication algorithms, and their efficient realizations are commonly required to reduce the hardware complexity. In the implementation point of view, approximate realizations are often desired if they do not degrade performance significantly. In this paper, we propose new linear approximations for the square and square-root functions. The traditional linear approximations need multipliers to calculate slope offset

Signal ProcessingComputer Science
7
논문|인용수 5·2003
A Programmable Turbo Decoder for Multiple Third-Generation Wireless Standards
In‐Cheol Park, MC Shin
International Solid-State Circuits Conference
Electrical and Electronic EngineeringEngineering
8
논문|인용수 5·2010
Multiplier-less and Table-less Linear Approximation for Square-Related Functions
In‐Cheol Park, Tae-Hwan Kim
SJR Q3IEICE Transactions on Information and SystemsOA

Square-related functions such as square, inverse square, square-root and inverse square-root operations are widely used in digital signal processing and digital communication algorithms, and their efficient realizations are commonly required to reduce the hardware complexity. In the implementation point of view, approximate realizations are often desired if they do not degrade performance significantly. In this paper, we propose new linear approximations for the square-related functions. The tra

Computational Theory and MathematicsComputer Science
9
논문|인용수 4·1994
Two complementary approaches for microcode bit optimization
In‐Cheol Park, Se-Kyoung Hong, Chong-Min Kyung
SJR Q1IEEE Transactions on Computers

In the design of microprogrammed processors, the minimization of microcode width is very crucial to reduce the required microcode ROM area. The paper suggests two different procedures which are complementary in nature: first an integer linear programming formulation which guarantees an optimal solution for small or medium size problems; and second, a heuristic algorithm based on the graph bipartitioning to deal with large size problems. Experimental results show that the proposed heuristic algor

Electrical and Electronic EngineeringEngineering
10
논문|인용수 4·2003
Fast Cycle-accurate Behavioral Simulation for Pipelined Processors Using Early Pipeline Evaluation
In‐Cheol Park, Se-Hyeon Kang, Yongseok Yi
International Conference on Computer Aided Design

Modeling and simulating pipelined processors in procedural languages such as C/C++ requires lots of cost in handling concurrent events, which hinders fast simulation. A number of researches on simulation have devised speed-up techniques to reduce the number of events. This paper presents a new simulation approach developed to enhance the simulation of pipelined processors. The proposed approach is based on early pipeline evaluation that all the intermediate values of an instruction are computed

Hardware and ArchitectureComputer Science
11
논문|인용수 4·2014
Single‐step glitch‐free NAND‐based digitally controlled delay lines using dual loops
Youngjoo Lee, In‐Cheol Park
SJR Q3Electronics LettersOA

To remove glitches occurring in NAND‐based digitally controlled delay lines (DCDLs), a novel glitch‐free architecture is presented. Compared with the previous structures requiring multiple control steps, the proposed DCDL employs a self‐delayed inner loop to remove all the glitches by applying a single‐step control‐code switching, reducing the control complexity remarkably without increasing the minimum delay as well as the resolution.

Electrical and Electronic EngineeringEngineering
12
논문|인용수 3·2013
Hardware‐efficient tree expansion for MIMO symbol detection
Byeong Yong Kong, In‐Cheol Park
SJR Q3Electronics LettersOA

A simple yet effective method is proposed to reduce the hardware complexity of tree expansion in multiple‐input multiple‐output (MIMO) symbol detection. Tree‐expansion equations are transformed in the proposed method so as to maximise common subexpressions that can be shared. The proposed method reduces the number of operators significantly, especially multipliers which are costly, without any degradation of bit error rate.

Electrical and Electronic EngineeringEngineering
13
논문|인용수 2·2014
Area‐efficient method to approximate two minima for LDPC decoders
Jaehwan Jung, Youngjoo Lee, In‐Cheol Park
SJR Q3Electronics LettersOA

A simple yet effective method is proposed to reduce the hardware complexity of min‐sum‐based low‐density parity‐check (LDPC) decoders. The proposed method finds the second minimum from the last four candidates of the first minimum, and can be implemented with only a few hardware components. In the case of 64 inputs, the proposed method reduces the comparators and 2‐to‐1 multiplexers by 48 and 64% compared to the conventional method that finds two exact minima.

Computer Networks and CommunicationsComputer Science
14
논문|인용수 2·2021
Interleaved Local Sorting for Successive Cancellation List Decoding of Polar Codes
Wooyoung Kim, Yujin Hyun, Jaeyoung Lee, In‐Cheol Park
SJR Q1IEEE AccessOA

In the successive cancellation list decoding of polar codes, the metric sorting dominates the overall decoding latency. To reduce the latency of metric sorting, this paper proposes a new sorting method, called interleaved local sorting, which divides the metrics to be sorted into several groups and locally sorts each group independently. In addition, an interleaving scheme is proposed to recover the performance degradation caused by the local sorting. A hardware architecture effective in reducin

Computer Networks and CommunicationsComputer Science
15
논문|인용수 2·1990
Optimal encoding of microcommands in microprogrammed processors
In‐Cheol Park, Seungwoo Hong, Chong‐Min Kyung
SJR Q3Electronics Letters

To reduce the size of control ROM in microprogrammed processors, a new method for the minimisation of control ROM width is presented using integer linear programming (ILP), which guarantees optimal results and can solve problems of reasonable size with a small amount of computation time.

Hardware and ArchitectureComputer Science

대표 연구 분야

Electrical and Electronic EngineeringHardware and ArchitectureComputer Networks and CommunicationsSignal ProcessingComputer Vision and Pattern RecognitionArtificial Intelligence

박인철 교수의 연구를 Nubint에서 더 깊이 살펴보세요

이 연구실의 논문을 앱에서 열어 AI와 함께 읽고, 핵심을 요약하고, 내 글에 인용하세요.