Abstract:This paper presents THU-SOC, a new methodology and tool dedicated to explore design space by executing full-scale SW application code on the transaction level models of the SoC platform. The SoC platform supports alternative Transaction Level Models (TLMs), bus-functional model and bus-arbitration model, which enables it to cooperate with different levels of hardware descriptions. So, users are only required to provide functional descriptions to construct a whole cycle-accurate system simulation for a broad design space exploration in the architecture design. When the architecture is determined, the high-level descriptions can be replaced by RTL-level descriptions to accomplish the system verification, and the interface between the tool and the descriptions is unmodified. Moreover, THU-SOC integrates some behavior models of necessary components in a SoC system, such as ISS (Instruction-Set Simulator) simulator of CPU, interrupt controller, bus arbiter, memory controller, UART controller, so users can focus themselves on the design of the target component. The tool is written in C++ and supports the PLI (Programming Language Interface), therefore its performance is satisfying and different kinds of hardware description languages, such as System-C, Verilog, VHDL and so on, are supported.

Design of SPARC V8 Based Transaction Level SoC Verification Platform

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

Design of Efficient and Reusable SoC Verification Platform for USIM Card

Media SOC Verification Framework Based on FPGA Platform

SystemC transaction level modeling and verification of IEEE 802.15.3 MAC

Transaction Level Modeling of SPARC Based on TLM2.0

A C-based RTL design verification methodology for complex microprocessor

Design and Implementation of SPARC V8 CPU Simulator in Virtualized Verification System

Exploring design space using transaction level models

Functional Verification of a Multi-Protocol Serial Communication Controller with Eight Channels

Verification of All-Digital SPARC Instruction Set Based on FPGA

Implementation of 1553B Bus Interface SoC Verification Platform

Hierarchical Formal Verification Method based on Transactions

Design and Verification of SRIO in SoC Based on FPGA

SystemC Implementation of A Virtual Prototyping Platform for Embedded System

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

Design and Implementation of Very Large-scale SoC Verification Platform Based on FPGAs Array

An innovative embedded logic analyzer based SoC verification platform

Design of multi-FPGA-based multi-core processor NoC verification platform

Research on SoC prototype verification technology

A Deep Research on the Chip Verification Platform Based on Network