SHARC

A tool for design, simulation and verification on system level

Learn more

Facts & Features

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.

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.

Contact

Get in touch

with CISC

CONTACT US