Blog
About

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

      SystemC Waiting-State Automata

      , ,

      First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) (VECOS)

      Verification and Evaluation of Computer and Communication Systems

      5-6 May 2007

      SystemC, compositional verification, automata, model-checking

      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

          Delta-cycles are basic units of SystemC modeling and they are supposed to provide the guarantee of some critical properties about interactions between concurrent processes, like determinism and liveness, which is the basis for higher-level modeling and analysis. However, uncareful design may cause serious problems at the transaction level, which break the properties that we want to ensure at the level of delta-cycles. We propose a formal model based on SystemC waiting-state automata for verifying properties of SystemC models at the transaction level within a delta-cycle and show that this model conforms to the SystemC scheduler up to delta-cycles.

          Related collections

          Most cited references 4

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Dynamic Partitioning in Analyses of Numerical Properties

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Automatic Determination of Communication Topologies in Mobile Systems

             Arnaud Venet (1998)
              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              LusSy A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level

                Bookmark

                Author and article information

                Contributors
                Conference
                May 2007
                May 2007
                : 1-14
                Affiliations
                Project Everest, INRIA Sophia-Antipolis

                2004, Route des Lucioles, BP 93, 06902 Sophia-Antipolis, France
                CEA, LIST, Boîte 65, Gif-sur-Yvette, F-91191 France
                UEI, ENSTA, 32 Bd Victor, 75739 Paris cedex 15, France
                Article
                10.14236/ewic/VECOS2007.8
                © Yu Zhang et al. Published by BCS Learning and Development Ltd. First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), Algiers, Algeria

                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/

                First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007)
                VECOS
                1
                Algiers, Algeria
                5-6 May 2007
                Electronic Workshops in Computing (eWiC)
                Verification and Evaluation of Computer and Communication Systems
                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