세미나안내
Chips with Proofs: Towards Complete Formal Verification of System-on-Chip (SoC)
2022-08-08
최준원 박사( Apple ) / 2022.08.10
————————————————————————————————————————————————————————
▣ 제목(Title): Chips with Proofs: Towards Complete Formal Verification of System-on-Chip (SoC)
▣ 연사(Speaker): 최준원 박사( Apple )
▣ 일시(Date&Time): 2022.08.10, Wed, 14:00
▣ 언어(Language): 영어(English)
▣ 장소(Place): 온라인 ( ZOOM )
- ZOOM Meeting ID: 272 257 2466 / PW: 22seminar
- ZOOM Link: https://us02web.zoom.us/j/2722572466?pwd=cDd1dThaZkQxODJld0lWWW8rcHMvUT09