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

      Improving Testbench Evaluation using Normalized Formal Properties

      proceedings-article
      , ,
      Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009) (VECOS)
      Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
      2-3 July 2009
      coverage, assertion, assertion-based design, properties, simulation
      Bookmark

            Abstract

            In this paper, we present a method to improve the testbench evaluation in a simulative verification process using formal properties. Assuming that at least for some part(s) of the design under test (DUT) a set of formal properties exists, the properties are transformed into a normalized form. The transformed properties, called microproperties, allow an objective evaluation of the testbench of the full DUT. It is possible to obtain more detailed coverage results using microproperties than by means of the original properties. This paper also describes how to obtain a unified metric from formal and non-formal verification results. Several examples including an AMBA AHB bus system are used to show the presented technique’s practical applications.

            Content

            Author and article information

            Contributors
            Conference
            July 2009
            July 2009
            : 1-12
            Affiliations
            [0001]Technische Universität Darmstadt, Computer Systems Group

            Merckstr. 25, 64283 Darmstadt, Germany

            www.rs.tu-darmstadt.de
            Article
            10.14236/ewic/VECOS2009.8
            59981183-c3e8-494c-b488-481bb47c6b7e
            © Martin Oberkönig et al. Published by BCS Learning and Development Ltd. Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), Rabat, Morroco

            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/

            Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            VECOS
            3
            Rabat, Morroco
            2-3 July 2009
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2009.8
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            coverage,properties,assertion,simulation,assertion-based design

            Comments

            Comment on this article