3/26 하드웨어도 소프트웨어처럼 짜야한다 (강지훈 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2024-03-21 16:36
조회
725
- 강사 : 강지훈 교수 (KAIST 전산학부)
- 일시 : 2024. 3. 26 (화) 16:00~17:30
특히 하드웨어와 소프트웨어 개발 방법론은 극명하게 달라졌는데, 가령 2000년대 애자일 소프트웨어 개발 방법론이 각광받은 반면 하드웨어는 계속 폭포수 모델에 기반해 개발되고 있다.
생산성이 높은 소프트웨어 개발 방법론을 하드웨어 개발에 적용하려는 시도가 여럿 있었지만, 실제 하드웨어 개발에 사용된 예는 지금까지 거의 없었다.
이 발표에서는 그동안 우리가 하드웨어도 소프트웨어처럼 높은 생산성으로 짜기 위해 노력한 발자취를 소개한다.
특히 고수준 함수형 언어로부터 pipelined CPU, 100Gbps 네트워크 카드 등 실제적인 회로의 RTL (Verilog) 디자인을 컴파일한 작업을 소개한다 [1, 2].
또한 이 작업 진행중에 하드웨어 아키텍트로부터 받은 (매우) 부정적인 피드백과 그 극복 과정을 소개한다.
[1] ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators.
Sungsoo Han†, Minseong Jang†, Jeehoon Kang (†: co-first authors in alphabetical order).
ASPLOS 2023.
[2] HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards.
Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, Jeehoon Kang.
PLDI 2024 (conditionally accepted).
전체 121
번호 | 제목 | 작성자 | 작성일 | 추천 | 조회 |
공지사항 |
2024년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2024.02.21
|
추천 1
|
조회 4055
|
kaistsoftware | 2024.02.21 | 1 | 4055 |
50 |
2021년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2021.03.09
|
추천 0
|
조회 9371
|
kaistsoftware | 2021.03.09 | 0 | 9371 |
49 |
12/10 트랜스포머 모델 기반 최신 자연어처리 현황/한계 및 발전방향 (김현기 박사/한국전자통신연구원)
kaistsoftware
|
2020.12.07
|
추천 0
|
조회 7620
|
kaistsoftware | 2020.12.07 | 0 | 7620 |
48 |
12/3 Algorithm-Hardware Co-Design for Machine Learning (박종세 교수/KAIST 전산학부)
kaistsoftware
|
2020.12.01
|
추천 0
|
조회 7414
|
kaistsoftware | 2020.12.01 | 0 | 7414 |
47 |
11/26 동시성 프로그램은 언제 메모리를 해제할 수 있는가? (강지훈 교수/KAIST 전산학부)
kaistsoftware
|
2020.11.23
|
추천 0
|
조회 6898
|
kaistsoftware | 2020.11.23 | 0 | 6898 |
46 |
11/19 인공지능과 사이버보안 : 水魚之交 (수어지교) (김인중 박사/국가보안기술연구소)
kaistsoftware
|
2020.11.16
|
추천 0
|
조회 6564
|
kaistsoftware | 2020.11.16 | 0 | 6564 |
45 |
11/12 딥러닝 기반 자연어처리 연구 동향 (이창기 교수/강원대 컴퓨터공학과)
kaistsoftware
|
2020.11.09
|
추천 0
|
조회 7738
|
kaistsoftware | 2020.11.09 | 0 | 7738 |
44 |
11/5 Relation Extraction for Knowledge Graph Construction (이경호 교수/연세대 컴퓨터과학과)
kaistsoftware
|
2020.10.30
|
추천 0
|
조회 7225
|
kaistsoftware | 2020.10.30 | 0 | 7225 |
43 |
10/15 Probabilistic Programming (양홍석 교수/KAIST 전산학부)
kaistsoftware
|
2020.10.07
|
추천 0
|
조회 8264
|
kaistsoftware | 2020.10.07 | 0 | 8264 |
42 |
10/8 Mining and Learning with Graphs: Clustering, Hypergraphs, and Representation Learning (황지영 교수/KAIST 전산학부)
kaistsoftware
|
2020.10.05
|
추천 0
|
조회 7074
|
kaistsoftware | 2020.10.05 | 0 | 7074 |
41 |
9/24 Data Augmentation for 3D Vision (김태균 교수/KAIST 전산학부)
kaistsoftware
|
2020.09.16
|
추천 0
|
조회 7872
|
kaistsoftware | 2020.09.16 | 0 | 7872 |