The definition of a temporal clock operator

Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

19 Scopus citations


Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocked design is cumbersome. Thus it is desirable to have an easier way to formulate properties related to clocks in a temporal logic. We present a relatively simple solution built on top of the traditional LTL-based semantics, study the properties of the resulting logic, and compare it with previous solutions.

Original languageEnglish GB
Title of host publicationInternational Colloquium on Automata, Languages, and Programming
PublisherSpringer Berlin Heidelberg
Number of pages14
StatePublished - 1 Jan 2003
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
ISSN (Print)0302-9743

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'The definition of a temporal clock operator'. Together they form a unique fingerprint.

Cite this