Refinement of mixed-signal systems with affine arithmetic

Proceedings - Design, Automation and Test in Europe Conference and Exhibition

Volumn 1, Issue , 2004, Pages 372-377

  Grimm, Ch ^a   Heupke, W ^a   Waldschmidt, K ^a  

^a GOETHE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AFFINE ARITHMATIC; MIXED-SIGNAL SYSTEMS; QUANTIZATION; AFFINE ARITHMETIC; CONTROL AND SIGNAL PROCESSING; DIGITAL IMPLEMENTATION; EXECUTABLE SPECIFICATIONS; MIXED SIGNAL; REFINEMENT STEP; SOURCES OF UNCERTAINTY; SYSTEM PROPERTY;

ALGORITHMS; CODES (SYMBOLS); COMPUTER AIDED DESIGN; COMPUTER SIMULATION; ERROR DETECTION; INTEGRATED CIRCUITS; MATHEMATICAL MODELS; SIMULATORS; EXHIBITIONS; SIGNAL PROCESSING;

SIGNAL PROCESSING; DESIGN;

EID: 3042658608     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2004.1268875     Document Type: Conference Paper

References (12)

1. M. Andrade, J. Comba, and J. Stolfi. Affine Arithmetic (Extended Abstract). In INTERVAL '94, St. Petersburg, Russia, 1994.
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.
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
4. O. Gay., Libaa - C++ Affine Arithmetic Library for GNU / Linux. http://savannh.nongnu.org/projects/libaa, 2003.
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.
6. C. Grimm. Modeling and Refinement of Mixed Signal Systems with SystemC. In SystemC - Methodologies and Applications. Kluwer Academic Publisher (KAP), June 2003.
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.
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.
9. A. Lemke, L. Hedrich, and E. Barke. Analog Circuit Sizing Based on Formal Methods Using Affine Arithmetic. In ICCAD 2002, 2002.
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.
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.
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.