1,249
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Evaluating Possibilities for Formally Sound Simulation and Verification of VHDL

      Published
      proceedings-article
      ,
      Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96) (DCC)
      Designing Correct Circuits
      2 - 4 September 1996
      Bookmark

            Abstract

            Formal verification is a promising way to ensure correctness of digital cuircuits. VHDL is an important standard in descripting digital circuits. This paper gives a survey about the state of the art in bringing formal verification and VHDL together. Up to now, there is no unique and best solution for the formal verification of arbitrary descriptions. The survey notes serveral aspects, which has been traded off against each other: “degree of automation”, “supported VHDL subset”, “practical usability”, “confidence of the approach”, to name just some. The existing approaches are compared with redard to these aspects. The reader gets an overview of the possibilities and limitations of different approaches with regard to simulation, symbolic simulation and formal verification. Finally, the formal VHDL environment created by the authors is presented.

            Content

            Author and article information

            Contributors
            Conference
            September 1996
            September 1996
            : 1-12
            Affiliations
            [0001]Institut für Rechnerentwurf und Fehlertoleranz (Prof. D. Schmid), Universität Karlsruhe

            Postfach 6980, 76128 Karlsruhe, Germany
            Article
            10.14236/ewic/DCC1996.12
            152d8dc7-4060-4d30-8a00-eee56ce5a97c
            © Ralf Reetz 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
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/DCC1996.12
            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

            Comments

            Comment on this article