BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-83-963
       ENTRY:: May 29, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: A hardware semantics based on temporal intervals
        TYPE:: Technical Report
      AUTHOR:: Halpern, Joseph
      AUTHOR:: Manna, Zohar
      AUTHOR:: Moszkowski, Ben
        DATE:: March 1983
       PAGES:: 30
    ABSTRACT:: We present an interval-based temporal logic that permits the
               rigorous specification of a variety of hardware components
               and facilitates describing properties such as correctness of
               implementation. Conceptual levels of circuit operation
               ranging from detailed quantitative timing and signal
               propagation up to functional behavior are integrated in a
               unified way.

               After giving some motivation for reasoning about hardware, we
               present the propositional and first-order syntax and
               semantics of the temporal logic. In addition we illustrate
               techniques for describing signal transitions as well as for
               formally specifying and comparing a number of delay models.
               Throughout the discussion, the formalism provides a means for
               examining such concepts as device equivalence and internal
               states.
       NOTES:: [Adminitrivia V1/Prg/19950529]
         END:: STAN//CS-TR-83-963