Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++

TL;DR

This paper introduces activity-dependent, cycle-accurate C-models derived from D&V languages to enhance simulation speed, and evaluates their performance on single- and multi-threaded C or C++ environments.

Contribution

It proposes a novel AOC C-modeling approach for D&V languages and analyzes its efficiency in multi-threaded execution environments.

Findings

AOC C-models improve simulation speed compared to traditional models.

Multithreaded execution further enhances performance.

Comparison shows advantages over existing modeling techniques.

Abstract

The C language is getting more and more popular as a design and verification language (DVL). SystemC, ParC [1] and Cx [2] are based on C. C-models of the design and verification environment can also be generated from new DVLs (e.g. Chisel [3]) or classical DVLs such as VHDL or Verilog. The execution of these models is usually license free and presumably faster than their alternative counterparts (simulators). This paper proposes activity-dependent, ordered, cycle-accurate (AOC) C-models to speed up simulation time. It compares the results with alternative concepts. The paper also examines the execution of the AOC C-model on a multithreaded processor environment.