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.

Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams

Analogous Alignments: Digital "Formally" meets Analog

Verification Framework for UML-Based Design of Embedded Systems.

Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods

An Adaptive Closed-Loop Verification Approach in UVM-SystemC for AMS Circuits

Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?

Hierarchical Formal Verification Method based on Transactions

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

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

A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics

Efficient Circuit Structure Analysis for Automatic Behavioral Model Generation in Mixed-Signal System Simulation

Unified Graphical Co-modelling, Analysis and Verification of Cyber-physical Systems by Combining AADL and Simulink/Stateflow

Collaborative Verification-Driven Engineering of Hybrid Systems

A Formal Approach for Modeling and Verification of Distributed Systems.

Formal verification of components assembly based on SysML and interface automata

Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation

A Novel Collaborative Scheme of Simulation and Model Checking for System Properties Verification

An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs

Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system