A Hardware Semantics Based on Temporal Intervals,

Abstract

The authors present an interval-based temporal logic that permits the rigorous specification of a variety of hardware components and facilities 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1983
Accession Number
ADA128149

Entities

People

  • Ben Moszkowski
  • Joseph Halpern
  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Boolean Algebra
  • Circuits
  • Computational Complexity
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Digital Circuits
  • Instruction Set Architecture
  • Intervals
  • Language
  • Logic
  • Programming Languages
  • Reasoning
  • Specifications
  • Structured Programming

Readers

  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.