This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrade, M. V. A., Comba, J. L. D., and Stolfi, J. (1994) Affine arithmetic (ex-tended abstract). In: Proceedings of INTERVAL’94, St. Petersburg, Russia.
Fang, C.F., Rutenbar, R.A., Püschel, M., and Chen, T. (2003) Towards efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling. In: Design Automation Conference (DAC 2003), Anaheim, CA.
Gay, O. (2003) Libaffa—C++ affine arithmetic library for GNU/Linux. http://savannah.nongnu.org/projects/libaffa/.
Grabowski, D., Grimm, C., and Barke, E. (2006) Semi-symbolic modeling and simulation of circuits and systems. In: Proceedings of the IEEE Inter-national Symposium on Circuits and Systems (ISCAS) 2006), Kos, Greece.
Grimm, Christoph, Heupke, W., and Waldschmidt, K. (2004a) Refinement of mixed-signal systems with affine arithmetic. In: Design, Automation and Test in Europe 2004 (DATE’04), Paris.
Grimm, C., Heupke, W., and Waldschmidt, K. (2004b) Semisymbolic modeling and analysis of noise in heterogeneous systems. In: Forum on Specification and Design Languages (FDL’04), Lille, France.
Hartong, W., Hedrich, L., and Barke, E. (2002). Model checking algorithms for analog verification. In: Design Automation Conference (DAC 2002), New Orleans, LA.
Henzinger, T. A. (1996) The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278-292.
Heupke, W., Grimm, C., and Waldschmidt, K. (2003) A new method for modeling and analysis of accuracy and tolerances in mixed-signal systems. In: Proceedings of the Forum on Design Languages (FDL’03), Frankfurt, Germany.
Lemke, A., Hedrich, L., and Barke, E. (2002) Analog circuit sizing based on formal methods using affine arithmetic. In: ICCAD 2002.
Moore, R. E. (1966) Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ.
Stauner, T., Müller, O., and Fuchs, M. (1997) Using HyTech to verify an automotive control system. In: Maler, O. (ed) Hybrid and Real-Time Systems—International Workshop, HART’97, volume 1201 of Lecture Notes on Computer Science. Springer, Berlin, pp. 139-153.
Vachoux, A., Grimm, C., and Einwich, K. (2004). Towards analog and mixed-signal SoC design with SystemC-AMS. In: IEEE International Workshop on Electronic Design, Test and Applications (DELTA’04), Perth, Australia.
Zhang, Y. and Mackworth, A. K. (1996) Specification and verification of hybrid dynamic systems with timed ∀-automata. In: Alur, R., Henzinger, T. A., and Sontag, E. D. (ed) Hybrid Systems III, volume 1066 of Lecture Notes on Computer Science. Springer, Berlin, pp. 587-603.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Heupke, W., Grimm, C., Waldschmidt, K. (2006). Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic. In: Vachoux, A. (eds) Applications of Specification and Design Languages for SoCs. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-4998-9_9
Download citation
DOI: https://doi.org/10.1007/978-1-4020-4998-9_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4997-2
Online ISBN: 978-1-4020-4998-9
eBook Packages: EngineeringEngineering (R0)