김명철 교수
Myeong-Chul Kim
KAIST 전산학부 · 컴퓨터과학
연구실 소개
김명철 교수의 연구실은 고성능 및 스케일러블한 전역 배치(placement) 기법을 핵심으로 하며, 특히 시간 기반 최적화, 루틴 가능성 향상, 병렬 처리 친화적인 알고리즘 설계에 중점을 둡니다. 기존의 배치 알고리즘에서 발생하는 루팅 장애나 성능 저하 문제를 해결하기 위해, 사전 루팅 예측(lookahead routing)과 적응형 밀도 메트릭을 도입한 혁신적인 프레임워크를 개발했습니다. 또한, 실시간 시스템 설계에 적합한 타이밍 드리븐 배치 및 복합적인 상호연결 모델을 통합한 최적화 기법을 지속적으로 연구하고 있습니다. 이는 현대 반도체 설계의 핵심 과제인 시스템 통합 및 빠른 타임클로처를 실현하는 데 기여하고 있습니다.
연구 현황
연구 성과 추이
표시된 성과는 수집된 데이터 기준으로 산출되며, 일부 차이가 있을 수 있습니다.
주요 논문
15We propose a self-contained, flat, quadratic global placer that is simpler than existing placers and easier to integrate into timing-closure flows. It maintains lower-bound and upper-bound placements that converge to a final solution. The upper-bound placement is produced by a novel look-ahead legalization algorithm. Our placer SimPL outperforms mPL6, FastPlace3, NTUPlace3, APlace2, and Capo simultaneously in runtime and solution quality, running 7.10 times faster than mPL6 (when using a single
We propose a new multilevel framework for large-scale placement called MAPLE that respects utilization constraints, handles movable macros and guides the transition between global and detailed placement. In this framework, optimization is adaptive to current placement conditions through a new density metric. As a baseline, we leverage a recently developed at quadratic optimization that is comparable to prior multilevel frameworks in quality and runtime. A novel component called Progressive Local
At modern technology nodes, improving routability and reducing total wirelength are no longer sufficient to close timing. Incremental timing-driven placement (TDP) seeks to resolve timing violations while limiting the impact to the original placement in an effort to achieve timing closure. To improve the timing landscape in localized regions, some latches or nets may require specialized attention that may not be available in other traditional placement flows (e.g., wirelength-driven). To address
Highly-optimized placements may lead to irreparable routing congestion due to inadequate models of modern interconnect stacks and the impact of partial routing obstacles. Additional challenges in routability-driven placement include scalability to large netlists and limiting the complexity of software integration. Addressing these challenges, we develop lookahead routing to give the placer advance, firsthand knowledge of trouble spots, not distorted by crude congestion models. We also extend glo
Highly-optimized placements may lead to irreparable routing congestion due to inadequate models of modern interconnect stacks and the impact of partial routing obstacles. Additional challenges in routability-driven placement include scalability to large netlists and limiting the complexity of software integration. Addressing these challenges, we develop lookahead routing to give the placer advance, firsthand knowledge of trouble spots, not distorted by crude congestion models. We also extend glo
We develop a projected-subgradient primal-dual Lagrange optimization for global placement, that can be instantiated with a variety of interconnect models. It decomposes the original non-convex problem into\more convex"sub-problems. It generalizes the recent SimPL, SimPLR and Ripple algo- rithms and extends them. Empirically, ComPLx outper- forms all published placers in runtime and performance on ISPD 2005 and 2006 benchmarks.
We propose a self-contained, flat, force-directed algorithm for global placement that is simpler than existing placers and easier to integrate into timing-closure flows. It maintains lower-bound and upper-bound placements that converge to a final solution. The upper-bound placement is produced by a novel rough legalization algorithm. Our placer SimPL outperforms mPL6, NTUPlace3, FastPlace3, APlace2 and Capo simultaneously in runtime and solution quality, running 6.4 times faster than mPL6 and re
We propose a self-contained, flat, force-directed algorithm for global placement that is simpler than existing placers and easier to integrate into timing-closure flows. It maintains lower-bound and upper-bound placements that converge to a final solution. The upper-bound placement is produced by a novel rough legalization algorithm. Our placer SimPL outperforms mPL6, NTUPlace3, FastPlace3, APlace2 and Capo simultaneously in runtime and solution quality, running 6.4 times faster than mPL6 and re
The crucial parameters which determine the electrical and optical behavior of a heterojunction are the valence and conduction band offsets. We demonstrate that carefully performed in situ x-ray photoelectron spectroscopic measurements allow the evaluation of valence band offsets in strained heteroepitaxial systems on Si(001). The result obtained for a Si0.75Ge0.25 alloy layer agrees very well with the known value, indicating the reliability of the used method. For Si0.977C0.023 alloy layers tens
An important issue for the epitaxial growth of strained Si1−yCy alloy layers is the relation between substitutional and interstitial carbon incorporation, which is strongly influenced by the growth conditions. We use in vacuu x-ray photoelectron spectroscopy (XPS) to investigate Si1−yCy layers (y<2 at. %) grown pseudomorphically on Si(001) with constant carbon and Si fluxes, but at different growth temperatures. The total carbon concentration measured by secondary-ion mass spectroscopy (S
We report a transparent and flexible resistive random access memory (ReRAM) using a multi-thin-layer electrode. The transparent and flexible ReRAM includes a multi-thin-layer electrode that is transparent and flexible and an Al <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> O <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">3</sub> layer as a transparent oxide material. When the multi-thin-layer
The existing methods of ransomware detection have limitations. To be specific, static analysis is not effective to obfuscated binaries, while dynamic analysis is usually restricted to a certain platform and often takes tens of minutes. In this paper, we propose a block-level monitoring system to detect potentially malicious cryptographic operations. We carry out statistical analysis to find heuristic rules to distinguish between normal and encrypted blocks. In order to apply the heuristic rule t
대표 연구 분야
김명철 교수의 연구를 Nubint에서 더 깊이 살펴보세요
이 연구실의 논문을 앱에서 열어 AI와 함께 읽고, 핵심을 요약하고, 내 글에 인용하세요.