3/26 하드웨어도 소프트웨어처럼 짜야한다 (강지훈 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2024-03-21 16:36
조회
713
- 강사 : 강지훈 교수 (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
|
조회 4024
|
kaistsoftware | 2024.02.21 | 1 | 4024 |
100 |
4/10 Representation Learning on Knowledge Graphs: A Way to Inject Human Knowledge into Machines (황지영 교수/KAIST 전산학부)
kaistsoftware
|
2023.04.05
|
추천 0
|
조회 2796
|
kaistsoftware | 2023.04.05 | 0 | 2796 |
99 |
4/3 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부)
kaistsoftware
|
2023.04.05
|
추천 0
|
조회 2734
|
kaistsoftware | 2023.04.05 | 0 | 2734 |
98 |
3/27 영어 문서에서 코드 만들어내기 (류석영 교수/KAIST 전산학부)
kaistsoftware
|
2023.03.21
|
추천 0
|
조회 2768
|
kaistsoftware | 2023.03.21 | 0 | 2768 |
97 |
9/4 디버깅 자동화 기술의 현재와 미래 (유신 교수/KAIST 전산학부)
kaistsoftware
|
2023.03.14
|
추천 0
|
조회 2822
|
kaistsoftware | 2023.03.14 | 0 | 2822 |
96 |
3/13 멀티-디바이스 모바일 플랫폼 (신인식 교수/KAIST 전산학부)
kaistsoftware
|
2023.03.14
|
추천 0
|
조회 3270
|
kaistsoftware | 2023.03.14 | 0 | 3270 |
95 |
2023년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2023.02.16
|
추천 0
|
조회 4677
|
kaistsoftware | 2023.02.16 | 0 | 4677 |
94 |
12/5 신뢰 가능한 AI: 인공지능의 편향, 권리, 윤리의 문제 (차미영 교수/KAIST 전산학부)
kaistsoftware
|
2022.12.02
|
추천 0
|
조회 4423
|
kaistsoftware | 2022.12.02 | 0 | 4423 |
93 |
11/28 첨단 영상 기술의 이해 및 응용 (Introduction to Computational Imaging) (김민혁 교수/KAIST 전산학부)
kaistsoftware
|
2022.11.24
|
추천 0
|
조회 4182
|
kaistsoftware | 2022.11.24 | 0 | 4182 |
92 |
11/14 Applications of Graph Convolutional Networks (GCN) (김태균 교수/KAIST 전산학부)
kaistsoftware
|
2022.11.09
|
추천 0
|
조회 3358
|
kaistsoftware | 2022.11.09 | 0 | 3358 |
91 |
11/7 데이터 기반 스마트 헬스케어 (이의진 교수/KAIST 전산학부)
kaistsoftware
|
2022.11.04
|
추천 0
|
조회 3787
|
kaistsoftware | 2022.11.04 | 0 | 3787 |