FDL’04 Tutorial September 16, 2004 AAnnaalloogg aanndd MMiixxeedd--SSiiggnnaall SSyysstteemm DDeessiiggnn wwiitthh SSyysstteemmCC Christoph Grimm Karsten Einwich Alain Vachoux University Frankfurt Fraunhofer IIS – EAS Dresden EPFL Germany Germany Switzerland [email protected] [email protected] [email protected] OOuuttlliinnee ♦ Introduction ♦ Part 1: Design and modeling issues for complex heterogeneous systems • What is a complex heterogeneous system, application fields, motivations • Modeling strategies for AMS systems ♦ Part 2: Using SystemC for AMS systems • Introduction to SystemC 2.0 & use for AMS systems • Proposed AMS extensions ♦ Part 3: Application examples • Electronic example: PLL • Automotive example: PWM driver • Telecommunication example: xDSL ♦ Conclusions FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 22 IInnttrroodduuccttiioonn:: TTuuttoorriiaall OObbjjeeccttiivveess ♦ To review design and modeling issues for complex heterogeneous systems ♦ To present a prototype implementation of modeling and simulation of mixed discrete/continuous systems in SystemC ♦ To provide some typical application examples FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 33 EEmmeerrggiinngg AApppplliiccaattiioonn ffiieellddss ((11//22)) PPaarrtt 11 ♦ Ambient Intelligence Systems: • Hardware (IPs, Cores) • Software (Megabytes!) • Analog components: Converters, PLL, … Sensors RF/Wireless ♦ Automotive Systems 20XX: • Hardware (IPs, Cores) • Software (Megabytes!) • Converters, Sensors Power electronics Mechanical components Maybe RF/Wireless • High Reliability+Safety! FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 44 EEmmeerrggiinngg AApppplliiccaattiioonn ffiieellddss ((22//22)) PPaarrtt 11 ♦ Design of future applications has to consider interactions between: • Digital Hardware Hydraulics … Mechanics • Analog Components • Software Digital Analog ♦ Complex heterogeneous systems HW HW are superset of A/D/S + environment ♦ Co-simulation with physical environment: Software • Virtual prototyping replaces “breadboards” Realtime OS • Virtual testbenches complement “synthetic” testbench FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 55 MMiixxeedd DDiissccrreettee//CCoonnttiinnuuoouuss SSyysstteemmss PPaarrtt 11 ♦ Mixed Discrete/Continuous (MDC) systems exhibit a mix of: • Discrete-event or discrete-time behaviors • Continuous-time behaviors ♦ Compared with Analog and Mixed-Signal (AMS) systems: • MDC are often far more complex: Converters, PLL, etc. are rather small components of an MDC • Coupling A/D can be modeled in a more simple, and thereby more efficient way, e.g. in discrete time steps • MDC can be more abstract, and also embrace a large fraction of software FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 66 HHDDLL UUssee PPaarrtt 11 ♦ Can we use HDLs for modeling, design and verification of complex, heterogeneous systems? Yes , ♦ Radio Eriwan‘s answer is: but … …Modeling megabytes of software in VHDL/Verilog, or integration thereof using CLI might not be very comfortable …Simulation performance would be orders of magnitudes too slow (Grimm et al. @ FDL’01: Virtual Test-Drive of Anti-Lock brake system would take YEARS) FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 77 HHDDLL UUssee PPaarrtt 11 ♦ Can we use HDLs for modeling, design and verification of complex, heterogeneous systems? Yes , ♦ A more helpful answer is: but … …Modeling megabytes of software in VHDL/Verilog, or integration thereof using CLI might not be very comfortable … Use SystemC for modeling hardware/software systems …Simulation performance would be orders of magnitudes too slow … Use abstract, behavioral models (Grimm et al. @ FDL’01: Virtual Test-Drive of Anti-Lock brake system would take YEARS) ... Use application + abstraction specific means for simulation and coupling of simulators FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 88 HHooww CCaann aa MMooddeelliinngg LLaanngguuaaggee HHeellpp?? PPaarrtt 11 ♦ With appropriate properties we can more easily specify models, and analyze properties of a model while ignoring many implementation issues DE model: DF model: We need Synchronisation explicit implicit, synchronisation, static events. scheduling. ♦ The use appropriate modeling properties is the key to: • Abstract modeling • Efficient simulation FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 99 MMooddeell ooff CCoommppuuttaattiioonn PPaarrtt 11 Definition A model of computation defines a set of rules that govern the interactions between model elements, and thereby specify the semantics of a model Remarks: ♦ A model of computation can also be seen as a formal, abstract definition of a machine that executes a class of models (executable model) ♦ A model of computation is independent from a graphical or textual language, which specifies the syntactical composition of model elements FFDDLL’’0044 ttuuttoorriiaall,, SSeepptt.. 1166 22000044 AAnnaallooggaannddMMiixxeedd--SSiiggnnaallSSyysstteemmDDeessiiggnn wwiitthhSSyysstteemmCC 1100