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.

Hardware/software Co-Verification Scheme for MSTP ASIC

Reconfigurable Hardware/software Cosimulation Platform for Media Processor

The Design of a Monolithic MSTP ASIC.

Functional Verification of EPA Chip

Design for HW/SW Co-Testing Based on FPGA

A System-Level SOC Verification Method Based on Hardware Accelerator

Hardware/software Co-Verification Platform for RPR

Software and Hardware Co-Verification of Embedded Microprocessor

A novel component-based hardware-software co-simulation system based on OR1200

Secure Software/Hardware Hybrid In-Field Testing for System-on-Chip

An Automatic Software/hardware Verification Platform Prototype for Reconfigurable Audio Algorithm in Media SoC.

A Testing System for Application Specific Integrated Circuit of Information Security

Hardware Verification of a 32-Bit Embedded RISC Microprocessor

A Formal Verification Method for the SOPC Software

Design of an ASIC Verification System with Dual PCI Interface

Media processor hardware/software co-simulation and co-verification platform

Platform supporting system-on-a-chip HW/SW Co-verification

Hardware/Software Co-verification Using Path-based Symbolic Execution

Hardware security and reliability verification based on fault propagation model

A Deep Research on the Chip Verification Platform Based on Network

Hardware/Software Co-Verification Platform for EOS Design