Blog
About

167
views
0
recommends
+1 Recommend
1 collections
    3
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A Symbolic Modelling Approach for the Formal Verification of Integrated Mixed-Mode Systems

      ,

      Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96) (DCC)

      Designing Correct Circuits

      2 - 4 September 1996

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          In this paper, a symbolic modelling approach is presented for the formal representation and verification of mixed analog/digital systems. The proposed modelling technique can be incorporated in the SFG-Tracing – a pragmatic methodology originally aimed at the formal verification of digital (VLSI) designs. Existing symbolic analysis and reasoning techniques can be employed to analyse the digital subsystems of a mixed analog/digital design. The development of appropriate, symbolic models to express the functional behaviour of the individual analog components, ultimately enables us to exploit a symbolic evaluation or simulation tool to formally verify the overall functional behaviour of a mixed-mode system.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Article: not found

          Boolean Analysis of MOS Circuits

           R.E. Bryant (1987)
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Declarative languages - still a long way to go

             R.T. Boute (1991)
              Bookmark

              Author and article information

              Conference
              September 1996
              September 1996
              : 1-12
              Affiliations
              IMEC vzw

              Kapeldreef 75, 3001 Heverlee, Belgium
              IMEC vzw/Katholieke Universiteit Leuven

              Kapeldreef 75, 3001 Heverlee, Belgium
              Article
              10.14236/ewic/DCC1996.4
              © Stefan Hendricx et al. Published by BCS Learning and Development Ltd. Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), Båstad, Sweden

              This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

              Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96)
              DCC
              3
              Båstad, Sweden
              2 - 4 September 1996
              Electronic Workshops in Computing (eWiC)
              Designing Correct Circuits
              Product
              Product Information: 1477-9358BCS Learning & Development
              Self URI (journal page): https://ewic.bcs.org/
              Categories
              Electronic Workshops in Computing

              Comments

              Comment on this article