FRAUNHOFER INSTITUTE FOR INTEGRATED CIRCUITS IIS, DESIGN AUTOMATION DIVISION EAS SYSTEM SPECIFICATION MIXED-SIGNAL SYSTEMS

SystemC AMS IDE

State Chart Editor

Coupling Framework S imulation Control, Debugging

Extension for Nonlinear Circuits

Cadence NCSim

Vector Informatik CANoe

� Coupling SystemC AMS Simulations with Tools from Various EDA Vendors

� IP Protected Model Exchange � Delivering Customer Models

� UML State Chart Syntax � C/ SystemC Code Generation � Combined Graphical State

and Analogue Tracing

� Support for Multiple Physical Domains such as electrical, kinematic, thermal

� Several Quantities Predefined, e.g. electrical::charge, kinematic::force

� New Callback Methods, e.g. sca_module::equations()

� SCSimCtrl: Advanced Drag’n’Drop Trace Selection, Hierarchy Browsing and Simulation Control

� Debugging Facilities in Stand-alone as well as in Coupled Simulation Scenarios

SCA_NLN_MODULE(dc_motor) { [...] void equations() { EQN(phi) << phi == l(i_coil) * i_coil; EQN(i_coil) << kt*rotor.v() == coil.v() - r_wind*i_coil - phi.dt(); coil.i() += i_coil; rotor.f() += ... } };

Coupling Framework

SystemC AMS Model

Contact: Thomas Arndt, Karsten Einwich, Thomas Uhle E-Mail: Karsten.Einwich@eas.iis.fraunhofer.de

� Powerful Modelling Capabilities

� Schematic Design Entry � OSCI Compliant � Full TLM 2.0 Support � SystemC / VHDL Mixed

Language Modelling � Basic Model Libraries � Profiling Performance and

Memory Leakages � Designed by the Developers

of the SystemC AMS Proof-of-Concept Library

Synopsys Saber

MatLab/ Simulink

Mentor ModelSim/ Questa

Analog Design Abstraction Levels and SystemC AMS Models of Computation�

Franck Paugnat, Laurent Bousquet, Katell Morin-Allory, Laurent Fesquet. “A Performance Comparison Between the SystemC-AMS Models of Computation”. EdaWorkshop11, May 2011. Dresden – Germany.

How to help the analog designer to:

SystemC-AMS Models of Computation (MoC)

TDFTimed Data Flow

LSFLinear Signal Flow

ELNElectrical Linear Network

SystemC-AMS�

���

���

���

���

�

���

���

���

Computation Time Comparison

TDF LSF Encapsulated LSF ELN

Com

puta

tion

Tim

e(s

)

SystemC-AMS Simulink�

�

�

�

�

��

��

��

��

Com

puta

tion

Tim

e (s

)

OvenPI Controller

Sense

Human MachineInterface (HMI)

TDF Algorithmic

TDFLaplace Transfer Function (LTF)

TDF Algorithmic

TDF Modeling Style

Command

Set Point

A same modeling style at different abstraction levels

A same abstraction level with different modeling styles

System Level

Analog Functional Unit Level

Analog Module Level

Analog Module Implementation Level

Analog Block Level

Analog Block Implementation Level

Transistor Level

Abstraction Levels

PI Controller

Subtractor

OvenHMI

�

�

Gain

�

Integrator

�

Adder

Sense

Command

ELN Modeling Style

Set Point

� navigate through the abstraction levels and the modeling styles

� choose the most suited modeling style to an abstraction level for best accuracy and computational speed

HMI Oven

PI Controller

LSF Source

LSFLTF

Sense

��

�

�

� ��

Command

LSF Modeling StyleSet Point

PI Controller

HMI Oven

Sense

LSFSource

��

�

LSFLTF

��

�

�

Encapsulated LSF Modeling Style

LSF Signals

Port converters

TDF Signals

An electric oven

�����

�������

� ��

� � �Temperature controller

Temperature Sensor Oven CavityHeater

Franck PAUGNAT, Laurent BOUSQUET, Katell MORIN-ALLORY, Laurent FESQUET TIMA Laboratory, Grenoble, France

{franck.paugnat, laurent.bousquet, katell.morin-allory, Laurent.Fesquet}@imag.fr

SYCYPHOS - A Frameworkfor Designing Cyber Physical Systems

Florian Schupfer, Josef Wenninger, Christoph GrimmVienna University of Technology, Institute of Computer Technology

Contact: Prof. Christoph Grimm, Vienna University of TechnologyInstitute of Computer Technology: grimm@ict.tuwien.ac.at

This work is conducted as part of the WWTF project MARC which is funded undercontract number ICT08_12.

No joint simulation of network and Hardware/Software designLate verification of properties like current con-sumption, accuracy or reliability

Common modeling of network and HW/SW components Profiling of accuracy/robustness and power con-sumption at CPS level

sycyphosproblem

Combining distributed computer ('cyber') and physical systems leads to new challenges that are not yet solved, neither by tools nor by methodologies. The methodology handles design issues and provides a (work in progress) tool for the design of cyber physical systems. The tool supports modeling of distributed and heterogeneous systems -- in particular at functional level -- while offering means for power estimation and for analyzing the impact of non-ideal behavior of micro- or nanoelectronic implementations.

Example of a Cyber Physical System

SYCYPHOS - FeaturesProfiling of:

Power propertiesAccuracy metricsReliability estimation

Functional Model

RefineAccuracy, Robustness

RefineReliability

RefinePower Management

RefinedFunctional Model

Estimate & AnalyseAccuracy, Robustness

Estimate & AnalyseCurrent consumption

Architectural Model(HW+SW)

Profiling throughsimulation:

HW/SW Co-Design

CPS

Leve

lEm

bedd

ed

Syst

em L

evel

Design

Design Methodology

RF TransceiverWake up ReceiverProtocol stackWireless In-Car Network

Acceleration profile:2-30msEnergy harvester, Sensors Coprocessor (e.g. Crypto)

MicroprocessorOperating System

Application Software

State of roadForces Tire-Road

TemperatureTire pressure

Actuators, ADC, DAC

Power Profiling

CU CU

CU

C2 C1

C3

Bus-connection RF-connectionCU .. control unit

SystemC AMS DayDresden, May 12, 2011

NXPHigh Tech Campus 37, 5656 AE Eindhoven

Dizain-SyncOostermaat 2, 7326 CS Borne

TU DelftMekelweg 4, 2628 CD Delft

TI-WMCInstitutenweg 30, 7521 PK Enschede

IMEC-NLHolst-Centre /IMEC-NL, High Tech Campus 31, POBox 8550, 5605 KN Eindhoven

ST (project leader)STMicroelectronics (Grenoble2) SAS12 rue Jules Horowitz 38019 Grenoble

Magillem4, rue de la Pierre Levée, 75011 Paris

UPMC-LIP64, Place Jussieu, 75252 Paris

CEA-LETICEA Grenoble, 38054 Grenoble

Grenoble INP-TIMA46, av. Félix Viallet, 38031 Grenoble

Robert BOSCHTübinger Str. 123, 72762 Reutlingen

Infineon IFXam Campeon 1-12, 85579 Neubiberg, Germany

Fraunhofer G.-IIS/EASZeunerstrasse 38, 01069 Dresden

TUVGusshausstraße 27-29/384, 1040 Wien

2A717 - Beyond DREAMS

System Analysis

Architecture exploration of heterogeneous Applications

SystemC AMS Modeling of a PCR-CE Lab-on-chipFor Multithreaded DNA Analysis

Amr Habib, François Pêcheux and Marie-Minerve LouëratUniversity Pierre et Marie Curie, Computer Science Laboratory LIP6, Paris, France

Model composed of three parts :

- DNA amplification by Polymerase Chain Reaction (PCR)

- Molecular separation by Capillary Electrophoresis (CE) andoptical detection of fluorescently labeled molecules

- Automated DNA sequencing on a digital manycorearchitecture running a highly multi-threaded Smith-Watermansequencing algorithm.

Polymerase Chain Reaction(PCR)

Capillary ElectrophoresisThermo-Cycling

Amplification Ratio of DNA

PROC

Local interconnect

NICSA-AS

Computing core VMU

LCG

…

RAM Periph.

NoCRouter

• PROC (MIPS32)• TDU: Test & Decision Unit• VMU: Voltage Management Unit• LCG: Local Clock Generator• NIC:Network Interface Controller• SA-AS: Synchronous/Async converter

MP SOCGeneric Tile

temp Enzyme deact

ctrl_temp0

ctrl_temp1 temp_out temp_in beta_out

RTDtemp_in v_out

comparator

v_in

temp_out0v_ref1

v_ref2

v_ref3

temp_out1

Extension

temp_in

N_outbeta_in

Optical Detection

Simulation results SystemC AMS (Timed Data Flow) and SystemC

Capillary Electrophoresis(CE)

SAR dig_out

sar_compsar_out

DACdig_in

v_out

cst_vsrcv_out v_ref

compv_m

v_p

Model of a bio-compatible heterogeneous system

Lab-on-chip that encompasses several disciplines such asanalog, digital, chemical kinetic reactions, optics and embeddedsoftware.

Virtual prototype taking as input an initial DNA concentration aswell as the expression of the gene as a DNA string

Able to compare the input string to a huge database ofreference samples, and this detects mutation and pathologies.

The simulated model can be used as a simulatable specificationat a very high level of abstraction and can be seen as the firstrefinement step towards the design of a complex heterogeneousand bio-compatible system.

Sanger

D_out

N_in F_out

count_out

ctrl_valve

CE

A_out

F_in C_out

G_out

D_in

count_in

T_out Detect 500

A_in

C_in

G_in

T_in

Detect 540

A_in

C_in

G_in

T_in

Detect 570

A_in

C_in

G_in

T_in

Detect 590

A_in

C_in

G_in

T_in

V_out

V_out

V_out

V_out

- Control temperature- Control cycle duration- Signal processing- Information processing

- Align DNA sequences- Compare acquired sequence withdetected sequences- Search within a database- etc …

4 minutes to simulate PCR-CE and 100 samples comparison

System Modelling

Timed data Flow

Discrete Event

Join the

Academic Connection Program

Vienna University of Technology (TU Vienna, TU Wien)Faculty of Electrical Engineering and Information TechnologyInstitute of Computer Technology (ICT)Gußhausstraße 27-29/384, 1040 Wien, Austriahttp://www.ict.tuwien.ac.atContact person: Christoph Grimmgrimm@ict.tuwien.ac.at

Université Pierre & Marie Curie (UPMC - Paris 6)Laboratoire LIP6-SoC4 Place Jussieu, 75005 Paris, Francehttp://www-asim.lip6.fr/Contact person: François PecheuxFrancois.Pecheux@lip6.fr

Delft University of Technology (TU Delft)Faculty Electrical Engineering, Mathematics and Computer Science (EWI)Mekelweg 4, 2628 CD Delft, The Netherlandshttp://ens.ewi.tudelft.nl/Contact person: Rene van LeukenT.G.R.M.vanLeuken@tudelft.nl

Exchanging knowledge for the introduction of the SystemC AMS stan-dard into educational and teaching programs. Building a network

- Universities - Research organizations - Industry Interested to join this program?

Contact:

Martin Barnasconi, NXP Semiconductorsmartin.barnasconi@nxp.comorChristoph Grimm, Vienna University of Technologygrimm@ict.tuwien.ac.at

or one of the universities having SystemC AMS already in their curriculum: