An Approach to Checking SOC Timing Safety

摘要：

High-performance SOCs (System on a chip) are being widely used in multimedia signal processing. Timing behavior is a critical issue in high-performance design, and one of the significant and challenging problems in the SOC design is to ensure the safety of timing behavior. A model that combines Allen-Givone algebra in multi-valued logic and the waveform polynomial is presented in this paper. Functional and timing behavior can be precisely described simultaneously by one unified representation, allowing inputs and outputs of a multi-valued logic function to be described by multi-valued waveforms, which are consistent with commonly used intuitive waveforms. This method is applicable in precisely analyzing and checking the correctness and safety of SOC timing attributes.

关键词： timing safety multi-valued waveform function SOC

作者: Zhenjun Du Rong Chen

作者单位: School of Information Science & Technology Dalian Maritime University Dalian,China

会议类型: 国际会议

会议名称: The Fifth International Conference on Information Assurance and Security(第五届信息保障与安全国际会议)

会议地点: 西安

会议语种:英文

页码: 181-184

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