Article

Refinement of Mixed-Signal Systems with Affine Arithmetic

Authors:

Ch. Grimm,

W. Heupke,

K. WaldschmidtAuthors Info & Claims

DATE '04: Proceedings of the conference on Design, automation and test in Europe - Volume 1

Page 10372

Published: 16 February 2004 Publication History

Get Access

Abstract

This paper describes a framework for the refinement of control and signal processing functions. The design starts with an executable speci.cation, and allowed deviations thereof. Refinement steps introduce models of analog or digital implementations, and augment the 'ideal' behavior with different sources of uncertainty. The framework verifies and analyzes the influence of these uncertainties on system properties using affine arithmetic.

References

[1]

{1} M. Andrade, J. Comba, and J. Stolfi. Affine Arithmetic (Extended Abstract). In INTERVAL '94, St. Petersburg, Russia, 1994.

Google Scholar

[2]

{2} D. Cansell and D. Méry. Integration of the proof process in the system development through refinement steps. In Forum on Specification & Design Languages (FDL'02), Marseille, France, Sep. 2002.

Google Scholar

[3]

{3} C. Fang, R. Rutenbar, M. Püschel, and T. Chen. Towards Efficient Static Analysis of Finite-Precision Effects in DSP Applications via Affine Arithmetic Modeling. In Design Automation Conference (DAC 2003), Anaheim, USA, June 2003.

Digital Library

Google Scholar

[4]

{4} O. Gay. Libaa - C++ Affine Arithmetic Library for GNU/ Linux. http://savannah.nongnu.org/projects/libaa, 2003.

Google Scholar

[5]

{5} A. Graupner, S. Getzlaff, R. Schüffny, W. Schwarz, and K. Lemke. Statistical Analysis of Parallel Analog Structures. In Workshop on System Design Automation (SDA 2000), pp. 91-98, 2000.

Google Scholar

[6]

{6} C. Grimm. Modeling and Refinement of Mixed Signal Systems with SystemC. In SystemC - Methodologies and Applications . Kluwer Academic Publisher (KAP), June 2003.

Digital Library

Google Scholar

[7]

{7} T. A. Henzinger and P.-H. Ho. Hytech: The cornell hybrid technology tool. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, volume 999 of Lecture Notes on Computer Science, pages 265-293. Springer, Berlin, 1995.

Digital Library

Google Scholar

[8]

{8} W. Heupke, C. Grimm, and K. Waldschmidt. A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems. In Proceedings of the Forum on Specification and Design Languages (FDL'03), Frankfurt, Germany, Sept. 2003.

Google Scholar

[9]

{9} A. Lemke, L. Hedrich, and E. Barke. Analog Circuit Sizing Based on Formal Methods Using Affine Arithmetic. In ICCAD 2002, 2002.

Digital Library

Google Scholar

[10]

{10} J. Philipps and B. Rumpe. Roots of refactoring. In K. Baclavski and H. Kilov, editors, Tenth OOPSLA Workshop on Behavioral Semantics. Tampa Bay, Florida, USA, October 15, 2001. Northeastern University, 2001.

Google Scholar

[11]

{11} J. Romberg and C. Grimm. Refinement of Hybrid Systems from HyCharts to SystemC-AMS. In Proceedings of the Forum on Specification and Design Languages (FDL'03), Frankfurt, Germany, 2003.

Google Scholar

[12]

{12} A. Vachoux, C. Grimm, and K. Einwich. SystemC-AMS Requirements, Design Objectives and Rationale. In Design, Automation and Test in Europe 2003 (DATE 2003), Munich, Germany, 2003.

Digital Library

Google Scholar

Cited By

View all

Grimm CRathmair M(2017)Dealing with Uncertainties in Analog/Mixed-Signal SystemsProceedings of the 54th Annual Design Automation Conference 201710.1145/3061639.3072949(1-6)Online publication date: 18-Jun-2017
https://dl.acm.org/doi/10.1145/3061639.3072949
Barke EFürtig AGläser GGrimm CHedrich LHeinen SHennig ELee HNebel WNitsche GOlbrich MRadojicic CSpeicher FFanucci LTeich J(2016)Embedded tutorialProceedings of the 2016 Conference on Design, Automation & Test in Europe10.5555/2971808.2972065(1102-1111)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.5555/2971808.2972065
Darulova EKuncak V(2011)Trustworthy numerical computation in ScalaACM SIGPLAN Notices10.1145/2076021.204809446:10(325-344)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2076021.2048094
Show More Cited By

Index Terms

Refinement of Mixed-Signal Systems with Affine Arithmetic

Recommendations

Analysis of mixed-signal systems with affine arithmetic

This paper describes methods and a framework for the refinement and analysis of control and signal processing systems. The design starts with an executable specification and its allowed deviations. Refinement steps introduce models of analog or digital ...
Low-power mixed-signal CVNS-based 64-bit adder for media signal processing

In this paper, design of a mixed-signal 64-bit adder based on the continuous valued number system (CVNS) is presented. The 64-bit adder is generated by cascading four 16-bit radix-2 CVNS adders. Truncated summation of the CVNS digits reduced the number ...
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DATE '04: Proceedings of the conference on Design, automation and test in Europe - Volume 1

February 2004

688 pages

ISBN:0769520855

Publisher

IEEE Computer Society

United States

Publication History

Published: 16 February 2004

Check for updates

Qualifiers

Article

Conference

DATE04

Sponsor:

SIGDA

DATE04: Design, Automation and Test in Europe 2004

February 16 - 20, 2004

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
138
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Grimm CRathmair M(2017)Dealing with Uncertainties in Analog/Mixed-Signal SystemsProceedings of the 54th Annual Design Automation Conference 201710.1145/3061639.3072949(1-6)Online publication date: 18-Jun-2017
https://dl.acm.org/doi/10.1145/3061639.3072949
Barke EFürtig AGläser GGrimm CHedrich LHeinen SHennig ELee HNebel WNitsche GOlbrich MRadojicic CSpeicher FFanucci LTeich J(2016)Embedded tutorialProceedings of the 2016 Conference on Design, Automation & Test in Europe10.5555/2971808.2972065(1102-1111)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.5555/2971808.2972065
Darulova EKuncak V(2011)Trustworthy numerical computation in ScalaACM SIGPLAN Notices10.1145/2076021.204809446:10(325-344)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2076021.2048094
Darulova EKuncak VLopes CFisher K(2011)Trustworthy numerical computation in ScalaProceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications10.1145/2048066.2048094(325-344)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2048066.2048094
Grabowski DOlbrich MBarke EKyung CChoi KHa S(2008)Analog circuit simulation using range arithmeticsProceedings of the 2008 Asia and South Pacific Design Automation Conference10.5555/1356802.1356984(762-767)Online publication date: 21-Jan-2008
https://dl.acm.org/doi/10.5555/1356802.1356984

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Analysis of mixed-signal systems with affine arithmetic

Low-power mixed-signal CVNS-based 64-bit adder for media signal processing

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP