Design Refinement of Embedded Analog/Mixed-Signal Systems and how to support it*

Size: px

Start display at page:

Download "Design Refinement of Embedded Analog/Mixed-Signal Systems and how to support it*"

Judith Hines
5 years ago
Views:

1 Design Refinement of Embedded Analog/Mixed-Signal Systems and how to support it* Institut für Computertechnik ICT Institute of Computer Technology Univ.Prof. Dr. habil. Christoph Grimm Chair Embedded Systems Vienna University of Technology *partially supported by EC FP 6 ANDRES, No. IST BMBF/edacentrum SAMS, No. 01 M 3070

2 Beyond Moore! Receiver ADC Serial Interface Modulator/ demod. DSP Host processor Antenna front-end Calibration & Control Transmitter Microcontroller Memory Imaging DSP RF detector Temp. sensor Oscillator DAC Clock Generator to all blocks Power Management Audio DSP High Speed Serial Interface [Grimm/Barnasconi/Vachoux/Einwich: An Introduction to Modeling Embedded Analog/Mixed-Signal Systems using SystemC AMS Extensions. OSCI, June 2008] Tightly interwoven SW/DSP and analog/mixed-signal functionality = Embedded Analog/Mixed-Signal System (E-AMS) C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

Concurrent Engineering with ISS, VP and TLM spectral properties Executable Specification ( C / C++ / UML ) quantization (digital) Hardware drift Development noise

3 Concurrent Engineering with ISS, VP and TLM spectral properties Executable Specification ( C / C++ / UML ) quantization (digital) Hardware drift Development noise ISS, Virtual Prototype TLM Software Development Redesign System Integration Validation Redesign C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

4 Design refinement of E-AMS systems 1. SystemC AMS extensions 2. Design refinement of E-AMS 3. Conclusion & Outlook C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

5 Between functional model and implementation design abstraction modeling formalism use cases functional architecture data flow signal flow SystemC AMS extensions executable specification virtual prototyping architecture exploration implementation electrical networks integration validation [Grimm/Barnasconi/Vachoux/Einwich: An Introduction to Modeling Embedded Analog/Mixed-Signal Systems using SystemC AMS Extensions. OSCI, June 2008] C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

6 SystemC AMS extensions SystemC methodologyspecific elements Transaction Level Modeling Cycle/bit Accurate Modeling etc. Electrical Linear Networks (ELN) modules terminals nodes AMS methodology-specific elements elements for AMS design refinement, etc. Linear DAE solver Linear Signal Flow (LSF) modules ports signals Timed Data Flow (TDF) modules ports signals Synchronization Scheduler User-defined AMS extensions modules ports signals (e.g. additional solvers/ simulators) SystemC Language Standard [Grimm/Barnasconi/Vachoux/Einwich: An Introduction to Modeling Embedded Analog/Mixed-Signal Systems using SystemC AMS Extensions. OSCI, June 2008] C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

7 Timed Data Flow in SystemC AMS extensions cluster := set of connected TDF modules rate=2 rate=2 ipl f1 dec delay f2 order of computation ipl f1 f1 dec f2 delay cluster period delay=1 T=1 t0=0 C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

8 Timed Data Flow Example: Serializer TDF Module: primitive module! Attributes specify timed semantics SCA_TDF_MODULE(par2ser) { sca_tdf::sca_in<sc_bv<8> > in; sca_tdf::sca_out<bool> out; void set_attributes() { out.set_rate(8); out.set_delay(1); out.set_timestep(1, SC_MS);} processing() describes computation } void processing() { for (int i=7; i >= 0 ; i-- ) out.write(in.get_bit(i), i); } SCA_CTOR(par2ser); C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

9 Interfacing Timed Data Flow and SystemC (DE) Converter ports towards discrete event domain sca_tdf::sc_in < <type> > sca_tdf::sc_out < <type> > Note: Time in MR TDF may run ahead DE time! sc_time sca_get_time() C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

$Linear Electrical Networks, Converters SC_MODULE(lp_filter_eln) { sca_tdf::sca_in<double> in;$ $converter TDF->U sca_eln::sca_v2tdf *v_out; // converter U->TDF SC_CTOR(lp_filter_eln) { v_in = new$ sca_eln::sca_tdf2v( v_in, 1.0); // scale factor 1.

sca_eln::sca_tdf2v( v_in, 1.0); // scale factor 1.

r1->p(in); r1->n(out_node); } }; c1 = new sca_eln::sca_c( c1, 100e-6); // 100uF capacitor c1->p(out_node);

10 Linear Electrical Networks, Converters SC_MODULE(lp_filter_eln) { sca_tdf::sca_in<double> in; sca_tdf::sca_out<double> out; sca_eln::sca_node in_node, out_node; // nodes sca_eln::sca_node_ref gnd; // reference sca_eln::sca_r *r1; // resistor sca_eln::sca_c *c1; // capacitor sca_eln::sca_tdf2v *v_in; // converter TDF->U sca_eln::sca_v2tdf *v_out; // converter U->TDF SC_CTOR(lp_filter_eln) { v_in = new sca_eln::sca_tdf2v( v_in, 1.0); // scale factor 1.0 v_in->ctrl(in); v_in->p(in_node); v_in->n(gnd); r1 = new sca_eln::sca_r( r1, 10e3); // 10kOhm resistor r1->p(in); r1->n(out_node); } }; c1 = new sca_eln::sca_c( c1, 100e-6); // 100uF capacitor c1->p(out_node); c1->n(gnd); v_out = new sca_eln::sca_v2tdf( v_out, 1.0); // scale factor 1.0 v_out1->p(out_node); v_out1->n(gnd); v_out->ctrl(out); C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

11 Design refinement of E-AMS systems 1. SystemC AMS extensions 2. Design refinement of E-AMS 3. Conclusion & Outlook C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

12 Refinement of E-AMS spectral properties quantization noise drift Executable Specification ( C / C++ / UML ) Computation accurate ISS, (digital) Hardware Structure Transaction Virtual accurate Development level modelling Prototype Interface accurate Software Development Redesign System Integration Validation Redesign C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

13 Computation accurate model Quickly coded model must me available ASAP Adds non-ideal effects to executable, functional spec AMS extensions: non-ideal behavior can be written directly in C-code! void processing() // Mixer refined with distortions and noise { double rf = in1.read(); double lo = in2.read(); double rf_dist = (alpha gamma * rf * rf ) * rf; double mix_dist = rf_dist * lo; if_out.write( mix_dist + my_noise() ); } C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

14 Structure accurate, re-partitioned model Accurate partitioning of functional blocks to analog, digital, SW. Structures/Methods like in implementation Adapt MoC Analog: Signal flow, Network Digital HW: TDF, DE ( or TLM) Quick top-down change by static polymorphism SCA_MoC_MODULE(par2ser) { } sca_moc::sca_in<sc_bv<8> > in; sca_moc::sca_out<bool> out; SCA_CTOR(par2ser) C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

Converter Channel U bias U in + U in - U out DE TDFCluster writes writesvalues valuesasas bitvector

15 Structure accurate, re-partitioned model Easy integration of buttom up available blocks by converter channels (= analog transactors ) Avoids development of wrapper DSP A D CPU A D TP TP RAM 90 LO LNA Converter Channel U bias U in + U in - U out DE TDFCluster writes writesvalues valuesasas bitvector double/bitvector... analog simulator reads Voltage C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

16 Interface accurate models Interface accurate models used for verification of system integration All ports accurately as in implementation Enable and clock signals Modeling issue Clock signals or events determine activation of TDF cluster Adapter classes can translate between different MoC and protocols E.g. from TDF via DE to TLM to protocol Open issue EFFICIENT coupling between TDF and TLM C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

17 Design refinement of E-AMS systems 1. SystemC AMS extensions 2. Design refinement of E-AMS 3. Conclusion & Outlook C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

18 Conclusion SystemC AMS extensions provide appropriate means for modeling E-AMS at architecture level Standardization ongoing Converter channels and adapter classes complement TLM transactors ongoing work bdreams Design refinement modeling strategy integrates architecture properties successively into executable spec Quickly available first models => Early feedback on feasibility or potential issues Immediate analysis/verification after changing/adding property => Optimization / debugging more efficient C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

19 Outlook First (simple) examples seem to work but industrial application needs additional effort! C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

20 References (OSCI members) ams.org (For information from former SystemC-AMS SG, provides some information for the public) Ch. Grimm, M. Barnasconi, A. Vachoux, K. Einwich: An Introduction to Modeling Embedded Analog/Mixed-Signal Systems using SystemC AMS Extensions. OSCI, June 2008 Ch. Grimm: Modeling and Refinement of Mixed Signal Systems with SystemC. In: SystemC: Methodologies and Applications. Kluwer Academic Publisher (KAP), June C. Grimm - Design Refinement of E-AMS; MEDEA DAC, KU Leuven

Modeling embedded systems using SystemC extensions Open SystemC Initiative

20 Modeling embedded systems using SystemC extensions Open SystemC Initiative The Open SystemC Initiative (OSCI) is an independent, not-for-profit association composed of a broad range of organizations