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

16 Scopus citations

Abstract

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
Title of host publicationInternational Colloquium on Automata, Languages, and Programming
PublisherSpringer Berlin Heidelberg
Pages857-870
Number of pages14
Volume2719
DOIs
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

Fingerprint

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

Cite this