Optimization Techniques in a Property Verification Platform for Embedded System

摘要：

A collaborative functional verification platform is designed for embedded system. The verification process employs three verification methods, i.e.logic simulation, model checking and static analysis. With thc collaborative verification platform, system functional properties are classified and verified according to their suitability for corresponding methods. This paper presents some optimization techniques for the system model, such as property grouping,signals reordering, and model hierarchizing. Experimental results demonstrate the validity of these optimization techniques in system functional verification.

作者: Ming Zhu Jinian Bian Weimin Wu

作者单位: Department of Computer and Science, Tsinghua University, Beijing, 100084, China

会议类型: 国际会议

会议名称: 首届嵌入式软件与系统国际会议(Proceedings of the First International Conference on Embedded Software and System)

会议地点: 杭州

会议语种:英文

页码: 480-486

在线出版日期: 2004-12-09（万方平台首次上网日期，不代表论文的发表时间）