Simulation and Verification of HierARChical embedded microelectronic systems

A tool for design, simulation and verification on system level.


What is SHARC:

SHARC is a design, simulation and verification framework for embedded microelectronic systems with strong focus on functional safety for road vehicles (ISO26262).

SHARC can be the platform to perform homogenous simulations, mixed signal / mixed level simulations, HW/SW co-simulations (virtual prototyping) supporting the integration of even non electrical components.  SHARC saves design and verification time by enabling reusability of HW/SW IPs/test and relying on cloud-based technology.

Cloud-based simulation environment

  • Efficient parallelization of test runs
  • Local cluster and cloud simulations
  • Secure environment (AWS, Azure)
  • Multi chip / multi site design
  • Remote monitoring

Functional system specification

  • Easy parameterization of your “Design under Test”
  • Reusability of HW/SW IPs (provided IP-library)
  • Drag & drop into system editor (UML-based)
  • Connect analog/digital components

Verify functionality of your entire design

  • Automatic testbench generation
  • Monte Carlo simulation
  • Constraint random verification (incl. UVM components)
  • Cloud-based technology

SHARC Characteristics:

SHARC is a design and simulation environment for digital and analogue embedded systems. The design of (hierarchical) systems can be verified through simulation-based tests. To facilitate these simulations, SHARC provides a wide component library containing models from different domains, e.g. automotive, energy, CPS. This makes it easy to design a first system design in early development phases and eliminates the redundant design slash development costs. The behaviour of the system is tested through automatically generated tests, which are derived from system requirements. The SHARC environment also includes a trace viewer to analyse the results of the simulations in a fast and easy way to derive further requirements for hardware and software design.

SHARC has a strong focus on verification of safety-critical systems in compliance with the functional safety standard ISO26262 for electric/electronic systems in the automotive domain. This includes features such as:

  • Development in line with the automotive safety-lifecycle
  • High traceability to requirements, design and tests
  • Supporting analysis methods (FMEA, FTA) and simulation-based verification (Monte-Carlo, fault-injection)


SHARC is based on Eclipse which allows easy configuration of the environment and extension through the plugin mechanism. Through relying on open standard such as SystemC for simulation, UML for design and UVM for verification, models are highly interoperable with other design and verification tools. Furthermore, it allows easy integration into existing design flows.

SHARC – Design and Simulation Framework

You have further questions?
Request additional information