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

      Ensuring Correctness of Ruby Transformations

      proceedings-article

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

      Designing Correct Circuits

      2 - 4 September 1996

      Bookmark

            Abstract

            Equivalence transformations are widely used in practical designs of VLSI circuits using Ruby. This paper demon-strates how proofs of these equivalences easily may be performed within a formal framework by a theorem prover. The proof tool used is called RubyZF and contains a semantical embedding of Ruby within Zermelo-Fraenkel set theory using the Isabelle theorem prover. The use of the system is exemplified by a concrete example taken from the T-Ruby design system.

            Content

            Author and article information

            Contributors
            Conference
            September 1996
            September 1996
            : 1-16
            Affiliations
            [0001]Dept. of Information Technology, Technical University of Denmark

            DK–2800 Lyngby
            Article
            10.14236/ewic/DCC1996.11
            44d6b29d-3c05-4002-a78e-1528e8159a13
            © Ole Rasmussen. 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