Abstract:As implementation technology has evolved into increasingly complex integrated circuits and time-to-market pressure increases day by day, system level design issues become more critical in the context of system on Chip, which gives rise to the need for abstract executable specifications (models) covering both hardware and embedded software. The new capabilities of SystemC 2.0, such as those added for transaction-based communication and test-bench specification and monitoring, facilitate this SoC modeling. In this paper, we present a transaction level modeling and verification method of IEEE 802.15.3 MAC chip based on SystemC 2.0, which include an accuracy video model and a transaction level system model of IEEE 802.15.3 MAC protocol. With the proposed scheme, we can get a reusable test bench which can be used at both transaction level and register transfer level. In this case, the verification efficiency and accuracy will be greatly improved. Specially, the transaction level model can significantly reduce product development risk while avoiding expensive over-engineering by ensuring the architecture meets all performance, power and cost requirements prior to implementation, allowing design resources to focus on value-added functions. © 2006 IEEE.

A Vera Modeling Verification Method in Integrated Circuit

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

Combinational Equivalence Checking Based on Circuit Topology Analysis

Functional Verification of EPA Chip

A C-based RTL design verification methodology for complex microprocessor

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

Design and Implementation of FPGA-Based Verification Platform for WLAN SOC Chip BX501

A Deep Research on the Chip Verification Platform Based on Network

Embedded System Verification and Software Development Environment Based on Virtual Processor

Establishment of CAN Bus Protocol Verification Model Using Verilog

SystemC transaction level modeling and verification of IEEE 802.15.3 MAC

Hierarchical Formal Verification Method based on Transactions

Mixed-Signal System Verification By Systemc/Systemc-Ams And Hsim-Vcs In Near Field Communication Tag Design

EHSAT Modeling from Algorithm Description for RTL Model Checking

Design of an ASIC Verification System with Dual PCI Interface

Architecture of a Post-Opc Silicon Verification Tool

A Complete and Automatic Advanced Model Verification Platform for 32nm Technology and Beyond

Modeling and simulation of virtual machine based on FPGA platform

An innovative embedded logic analyzer based SoC verification platform

Model Checking on Clock Domain Crossing Design of System-on-Chip

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