Regresar

Semi-symbolic analysis of mixed-signal systems including discontinuities

Abstract:

The paper describes an approach for semi-symbolic analysis of mixed-signal systems that contain discontinuous functions, e.g. due to modeling comparators. For modeling and semi-symbolic simulation, we use extended Affine Arithmetic. Affine Arithmetic is currently limited to accurate analysis of linear functions and mild non-linear functions, but not yet discontinuities. In this paper we extend the approach to also handle discontinuities. For demonstration, we symbolically analyze a ΣΔ-modulator. © 2014 EDAA.

Año de publicación:

2014

Keywords:

    Fuente:

    scopusscopus

    Tipo de documento:

    Conference Object

    Estado:

    Acceso restringido

    Áreas de conocimiento:

      Áreas temáticas:

      • Ciencias de la computación
      • Física aplicada
      • Electricidad y electrónica

      Contribuidores:

      Radojicic C.Radojicic C.
      Pan X.Pan X.
      Grimm C.Grimm C.
      Javier Moreno MolinaJavier Moreno Molina