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 de Dewey:

      • Ciencias de la computación
      • Física aplicada
      • Electricidad y electrónica
      Procesado con IAProcesado con IA

      Objetivos de Desarrollo Sostenible:

      • ODS 9: Industria, innovación e infraestructura
      • ODS 4: Educación de calidad
      • ODS 8: Trabajo decente y crecimiento económico
      Procesado con IAProcesado con IA

      Contribuidores:

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