The definition of a temporal clock operator

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

doi:10.1007/3-540-45061-0_67

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 proceeding › Chapter › peer-review

19 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 language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger
Publisher	Springer Verlag
Pages	857-870
Number of pages	14
ISBN (Print)	3540404937, 9783540404934
DOIs	https://doi.org/10.1007/3-540-45061-0_67
State	Published - 1 Jan 2003
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2719
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-45061-0_67

Cite this

Eisner, C., Fisman, D., Havlicek, J., McIsaac, A., & Van Campenhout, D. (2003). The definition of a temporal clock operator. In J. C. M. Baeten, J. K. Lenstra, J. Parrow, & G. J. Woeginger (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 857-870). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2719). Springer Verlag. https://doi.org/10.1007/3-540-45061-0_67

Eisner, Cindy ; Fisman, Dana ; Havlicek, John et al. / The definition of a temporal clock operator. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Jos C. M. Baeten ; Jan Karel Lenstra ; Joachim Parrow ; Gerhard J. Woeginger. Springer Verlag, 2003. pp. 857-870 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{7ddce8bd2fd84bdf929c1e58f0443ab6,

title = "The definition of a temporal clock operator",

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.",

author = "Cindy Eisner and Dana Fisman and John Havlicek and Anthony McIsaac and {Van Campenhout}, David",

year = "2003",

month = jan,

day = "1",

doi = "10.1007/3-540-45061-0_67",

language = "English",

isbn = "3540404937",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "857--870",

editor = "Baeten, {Jos C. M.} and Lenstra, {Jan Karel} and Joachim Parrow and Woeginger, {Gerhard J.}",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "Germany",

}

Eisner, C, Fisman, D, Havlicek, J, McIsaac, A & Van Campenhout, D 2003, The definition of a temporal clock operator. in JCM Baeten, JK Lenstra, J Parrow & GJ Woeginger (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2719, Springer Verlag, pp. 857-870. https://doi.org/10.1007/3-540-45061-0_67

The definition of a temporal clock operator. / Eisner, Cindy; Fisman, Dana; Havlicek, John et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Jos C. M. Baeten; Jan Karel Lenstra; Joachim Parrow; Gerhard J. Woeginger. Springer Verlag, 2003. p. 857-870 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2719).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - The definition of a temporal clock operator

AU - Eisner, Cindy

AU - Fisman, Dana

AU - Havlicek, John

AU - McIsaac, Anthony

AU - Van Campenhout, David

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=35248828010&partnerID=8YFLogxK

U2 - 10.1007/3-540-45061-0_67

DO - 10.1007/3-540-45061-0_67

M3 - Chapter

AN - SCOPUS:35248828010

SN - 3540404937

SN - 9783540404934

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 857

EP - 870

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Baeten, Jos C. M.

A2 - Lenstra, Jan Karel

A2 - Parrow, Joachim

A2 - Woeginger, Gerhard J.

PB - Springer Verlag

ER -

Eisner C, Fisman D, Havlicek J, McIsaac A, Van Campenhout D. The definition of a temporal clock operator. In Baeten JCM, Lenstra JK, Parrow J, Woeginger GJ, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 857-870. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45061-0_67

The definition of a temporal clock operator

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this