报告题目: Post-silicon Functional Validation with Virtual Prototypes

报告人: Fei Xie 副教授

主持人：蔡海滨 副教授

报告时间：2014年10月20日 9:00

报告地点：理科大楼B1102

主办单位：软件学院、科技处

报告摘要:

Virtual prototypes are increasingly used to enable shift-left in system development, i.e., early software development before hardware is available. However, the benefits of shift-left will not be fully realized if software does not port readily from virtual prototypes to silicon and system tests are not ready when silicon and software are integrated. Therefore, it is greatly desired that post-silicon functional tests can be generated from virtual prototypes and when these tests are applied over the software and silicon integration, functional differences between virtual prototypes and silicon can be easily uncovered.

In this talk, we present our approach to post-silicon functional validation with virtual prototypes. This approach has three key components: (1) post-silicon functional test coverage analysis with virtual prototypes, (2) automatic concolic test generation from virtual prototypes, and (3) post-silicon conformance checking with virtual prototypes. Application of this approach to real-world silicon devices and their virtual prototypes has led to thousands of automatically generated tests, doubled test coverage in various metrics, and detection of tens of virtual-silicon inconsistencies previously unknown.

报告人简介：

Fei Xie is a professor in the Department of Computer Science, Portland State University. His research interests are primarily in the areas of embedded systems, software engineering, and formal methods. He is particularly interested in development of formal method based techniques and tools for building safe, secure, and reliable software and embedded systems.