Abstract:System on programmable chip (SOPC) is a kind of system on a programmable chip. The system architecture is superior to the traditional design pattern. The system has an on-chip bus between the processor and the programmable logic, which forms a high bandwidth, low latency, connection, and has rich flexible customization of IP. It also has advantages of low power consumption and high performance. The application in the field of high reliable proportion rising year by year. However, the change of system architecture and the expansion of software scale have brought great impact on the simulation test method and the physical test method. The existing dynamic testing methods are based on limited testing scenarios to investigate the system. It is difficult to find hidden errors in the design of complex connection segments, such as the errors in the on-chip bus transmission, the errors in the hardware and software coupling, and so on. Due to system scale of the state-space explosion problem and various forms IP, SOPC cannot apply formal verification techniques. In this article, we propose a SOPC formalized validation framework. It is based on polymorphous IP abstraction modeling, common formal properties analysis, and modeling methods in system architecture and other high-risk areas. The experimental results show that the proposed algorithm and the established SOPC formal verification framework can introduce the formal verification technique to SOPC high-risk area verification, and it can be used as the guidance of SOPC formal verification.

Functional Verification of EPA Chip

Function Verification of Interface IP Core Based on the Restricted Random Test Bench

Design of EPA Conformance and Interoperability Test System

Design and FPGA Verification of a Novel Reliable Real-Time Data Transfer System

The Research and Implement of an Advanced Function Coverage Based Verification Environment

A Verification Methodology for Reusable Test Cases and Coverage Based on System Verilog

Functional verification of external memory interface IP core based on restricted random testbench

A Generic UVM Verification Framework Based on Two-Stage Comparison for Protocol-Agnostic Data Streams in Digital Designs

A Deep Research on the Chip Verification Platform Based on Network

A Dynamic Random Instruction And Stimulus Generation For Functional Verification Of Embedded Processor

Multi-layer Random Stimulus Strategy for Microprocessor Verification

Verification Patterns for Rapid Embedded System Verification

A Functional Verification Framework For Dsps With Vliw Architecture Based On A Random Program Generator

Functional Verification Methodology of A 32-Bit Risc Microprocessor

Test Program Generation for Microprocessor Verification Using Local Modeling Strategy

A Function Verification Method Based on the Models at Test Case Level

An innovative embedded logic analyzer based SoC verification platform

Collaborative Verification Scheme for System Functional Properties

Design of Efficient and Reusable SoC Verification Platform for USIM Card

A Formal Verification Method for the SOPC Software

Steep coverage-ascent directed test generation for shared-memory verification of multicore chips