Abstract:Our world is an analog world, and the ways in which we interact with it are also analog. Today, more integrated circuits and systems contain analog components. Meanwhile, digital functionalities are increasingly put into analog systems to enhance their performance. System-On-Chip designs consisting of analog, digital, RF and software blocks are commonplace. New technologies allow for the integration of as many features as possible on one or more silicon die. At the same time, integrated systems have had to become more flexible to cover a wider range of use-cases, as heavily increasing design and production set-up costs have made highly targeted application-specific design more difficult to justify. Also, the reliability of today's electronic systems has been challenged by the increasing probability of device failure as the feature sizes of integrated circuits are pushed well into the nanometer scale range and three-dimensional geometry is explored to extend VLSI process potential. The combined effect of a continually increased presence of analog circuits and IP blocks in a system as well as the coupling between densely integrated components/subsystems has an impact to the operation reliability and performance that is too complex at the transistor level. Electronic system level design/verification is now an established approach at most of the world's leading semiconductor companies and is being adopted increasingly to solve the complex mixed-signal System-On-Chip (SoC) problem at early stages, leading to a shorter design period. From noise, some typical mixed-signal circuits, to a whole application SoC—a Near Field Communication system, SystemC/SystemC-AMS shows its powerful feature as an ESL design language. In this dissertation, I will discuss examples modeled at the system level in detail. On the other hand, it is often difficult to develop a high-level model at the appropriate abstraction level that can ensure the best trade-off between architectural details and simulation speed. To this end, engineers perform simulations at different levels. Because of that, we developed a Cross-Layer Simulator which is shown in this document. This co-simulator, based upon Ngspice and SystemC/SystemC-AMS, can handle a mixed-signal SoC at different abstraction levels in one model and simulation. Case studies on different circuits prove its ability to function well in terms of both precision and speed for circuits/systems simulation.

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

A New Computing Model for C-Like Hardware Description Languages

Modeling And Verifying Multi-Core Programs

Using a Performance Model to Implement a Superscalar CVA6

An Effective Model Extraction Method with State Space Compression for Model Checking SystemC TLM Designs

Hybrid Model: an Efficient Symmetric Multiprocessor Reference Model

The Design and Verification of Packet Processing Engine Model Using SystemC

Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC

A C-based RTL design verification methodology for complex microprocessor

Design and Implementation of CMT Simulator

System/architecture level design and modeling of mixed-signal soc using systemc/systemc-ams and cross-layer co-simulation tool

Efficient CTMC Model Checking of Linear Real-Time Objectives

A Programming Model for Disaggregated Memory over CXL

AL/RTL Co-Modeling and General Test Generation

CVC Verilog Compiler -- Fast Complex Language Compilers Can be Simple

A Novel Low-Cost Interface Design for SystemC and SystemVerilog Co-simulation.

Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics

Assertion-based performance analysis for OCP systems

A High-Throughput, High-Accuracy System-Level Simulation Framework for System on Chips

Coroutine-Based Synthesis of Efficient Embedded Software from SystemC Models

Mcvp-Noc: Many-Core Virtual Platform With Networks-On-Chip Support