Skip to main content

Refinement of Mixed-Signal Systems: Between Heaven and Hell

  • Chapter

Abstract

Very complex system are designed by stepwise refinement. This means that an abstract model is successively augmented with components and properties of an implementation. For signal processing, mixed-signal systems the refinement from block diagram level to analog or digital circuit requires a significant modeling effort: The means for description of abstract models (e.g. synchronous dataflow) and physical implementation (e.g. networks) are different and cannot be combined in a direct way. In this chapter, we introduce polymorphic signals which solve this problem, and give an overview of a framework for the refinement of Mixed-Signal Systems: HEAVEN/HELL.

This work has been partially supported by funds of the BMBF/edacentrum Project SAMS under Reference Number 01M3070D.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Karsten Einwich, Peter Schwarz, Christoph Grimm, and Klaus Waldschmidt. Mixed-Signal Extension for SystemC. In Eugenio Villar and Jean Mermet, editors, System Specification and Design Languages. Kluwer Academic Publishers, Apr 2003.

    Google Scholar 

  • Christoph Grimm. Modeling and Refinement of Mixed Signal Systems with SystemC. In SystemC — Methodologies and Applications. Kluwer Academic Publisher (KAP), June 2003.

    Google Scholar 

  • Christoph Grimm, Wilhelm Heupke, and Klaus Waldschmidt. Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems. In Forum on Specification and Design Languages (FDL’ 04), Lille, France, September 2004.

    Google Scholar 

  • Christoph Grimm and Klaus Waldschmidt. KIR — A graph-based model for description of mixed analog/digital systems. In European Design Automation Conference, Geneva, Switzerland, September 1996.

    Google Scholar 

  • Christoph Grimm and Klaus Waldschmidt. Repartitioning and technology-mapping of electronic hybrid systems. In Design, Automation and Test in Europe’ 98 (DATE), Paris, France, February 1998.

    Google Scholar 

  • Edward Lee, Stephen Neuendorffer, and Michael Wirthlin. Actor-Oriented Design of Embedded Hardware and Software Systems. Journal of Circuits, Systems, and Computers, June 2003.

    Google Scholar 

  • Edward Lee and Yuhong Xiong. A Behavioral type system and its application in Ptolemy II. Formal Aspects of Computing, 2004.

    Google Scholar 

  • Robert Siegmund and Dietmar Müller. SystemCSV: An Extension of SystemC for Mixed Multi-Level Communication Modeling and Interface-Based System Design. In Design Automation and Test in Europe’ 01 (DATE 2001), Munich, 2001.

    Google Scholar 

  • Stuart Swan. An Introduction to System-Level Modeling in SystemC 2.0. Technical report, Open SystemC Initiative, 2001.

    Google Scholar 

  • Alain Vachoux, Christoph Grimm, and Karsten Einwich. Towards Analog and Mixed-Signal SoC Design with Systemc-AMS. In IEEE International Workshop on Electronic Design, Test and Applications (DELTA’04), Perth, Australia, 2004.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer

About this chapter

Cite this chapter

Grimm, C., Schroll, R., Waldschmidt, K. (2005). Refinement of Mixed-Signal Systems: Between Heaven and Hell. In: Boulet, P. (eds) Advances in Design and Specification Languages for SoCs. Springer, Boston, MA. https://doi.org/10.1007/0-387-26151-6_2

Download citation

  • DOI: https://doi.org/10.1007/0-387-26151-6_2

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-387-26149-2

  • Online ISBN: 978-0-387-26151-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics