Chips with Proofs: Towards Complete Formal Verification of System-on-Chip (SoC)

2022-08-08
  • 1,348

————————————————————————————————————————————————————————

▣ 제목(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 ) 

LIST