会议专题

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(万方平台首次上网日期,不代表论文的发表时间)