1,018
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

      Ternary Simulation: Refinement of Binary Functions or Abstraction of Real-Time Behaviour?

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

            Abstract

            We prove the equivalence between the ternary circuit model and a notion of intuitionistic stabilization bounds. This formalizes in a mathematically precise way the intuitive understanding of the ternary model as a level intermediate between the static Boolean model and the (discrete) real-time behaviour of circuits. We show that if one takes an intensional view of the ternary model then the delays that have been abstracted away can be completely recovered. Our intensional soundness and completeness theorems imply that the extracted delays are both correct and exact; thus we have developed a framework which unifies ternary simulation and functional timing analysis. Our focus is on the combinational behaviour of gate-level circuits with feedback.

            Content

            Author and article information

            Conference
            September 1996
            September 1996
            : 1-17
            Affiliations
            [0001]Department of Mathematics and Computer Science, University of Passau

            Passau, Germany
            [0002]Department of Computer Science, The University of Sheffield

            Sheffield, United Kingdom
            Article
            10.14236/ewic/DCC1996.8
            ca6295ab-a605-4106-8148-504f131b605a
            © Michael Mendler 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.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

            Comments

            Comment on this article