13:30 | Opening Remark |
13:40 | Invited Talk |
Verification of Embedded Software in Industrial Microprocessors Eli Singerman (Intel Israel) |
|
14:40 | Break |
15:10 | Talks |
15:10 | Pre- and Post-Silicon Verification and Debugging with High Level Design Masahiro Fujita (University of Tokyo) |
16:00 | On the Validation of Embedded Systems through Functional ATPG Giuseppe Di Guglielmo (University of Verona / University of Tokyo) |
16:50 | Closing Remark |
VLSI Design and Education Center (VDEC), The University of Tokyo