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.

Validation of ASIP Architecture Description

Towards Formal Verification of ASIP Based on HDPN

A System Verification Environment for Mixed-Signal SOC Design Based on IP Bus

PN-based formal modeling and verification for ASIP architecture

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

Verification of Instruction Set Specification for an ASIP

Study on ASIP system-level design

A Formal Verification Method for the SOPC Software

Architecture of a Post-Opc Silicon Verification Tool

Formal Co-verification for the Correctness and Timing Requirements of SoC Design

Modeling for Application Specific Instruction Set Processor

Formal co-verification for soc design with colored petri net

The Design and Verification of Packet Processing Engine Model Using SystemC

A Fast Instruction Set Evaluation Method for ASIP Designs

Verification Strategy for DSP in VLIW Architecture

Xpmodel: A Novel Model for ASIP Architecture

Application Specific Cache Simulation Analysis for Application Specific Instruction set Processor

An Accurate Multi-processing Simulator Based on ADL

Research on Generation of Cycle Accurate ASIP Simulator

Hardware Verification of a 32-Bit Embedded RISC Microprocessor

Building of SOC Prototype Machine and IP Modules Verification