Specification and verification of SOC using PTL
Pengfei Zhang · 2009
PTL (projection temporal logic) is a kind of temporal logic which can handle both sequential and parallel computation. In this paper, we proposed a formal approach of specification and verification of SOC using PTL. With this approach, PTL is used in high level design and hardware/software co-design for the formal specification and verification of a SOC system or its hardware/software parts. A simple CPU is specified in different abstract levels as an application illustrative example.