:::

[2019-11-01] Dr. Hoang M. Le, University of Bremen, "Fuzzing at the Electronic System Level"

專題討論演講公告
Poster:Post date:2019-10-23
Title: Fuzzing at the Electronic System Level
Date: 2019-11-01 3:40pm-5:00pm
Location: R102, CSIE
Speaker: Dr. Hoang M. Le, University of Bremen
Hosted by: Prof. Hsu-Chun Hsiao
 
 

Abstract:

 
The Electronic System Level (ESL) shifts hardware/software integration, a major bottleneck in embedded system design, away from the end of the development cycle. The key enabler here is the use of Virtual Platforms, which are fully functional models of the envisioned hardware platform from the software perspective, but available much earlier than a physical prototype. As a result, system development time and cost can be greatly reduced. However, this reduction is only achieved if the early system representation produced at ESL is functionally verified and of high quality. This talk will discuss some of the major issues and recent development in ESL functional verification. The particular focus will be on the applicability of modern fuzzing techniques and our recent results in the RISC-V space.
 
 
Biography:
 
Hoang M. Le is an independent Post-Doctoral Researcher with the University of Bremen, Germany. His current research interests include electronic design automation, formal methods, hardware/software verification and testing. He received the Dr.-Ing. degree in computer science from the University of Bremen in 2015.

 
 
Last modification time:2019-10-23 PM 4:15

cron web_use_log