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 › Conference contribution › peer-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 language	English
Title of host publication	International Colloquium on Automata, Languages, and Programming
Publisher	Springer Berlin Heidelberg
Pages	857-870
Number of pages	14
Volume	2719
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)
Publisher	Springer Verlag
ISSN (Print)	0302-9743

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 International Colloquium on Automata, Languages, and Programming (Vol. 2719, pp. 857-870). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45061-0_67

Eisner, Cindy ; Fisman, Dana ; Havlicek, John ; McIsaac, Anthony ; Van Campenhout, David. / The definition of a temporal clock operator. International Colloquium on Automata, Languages, and Programming. Vol. 2719 Springer Berlin Heidelberg, 2003. pp. 857-870 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ac7645c5c19d4c1cb3e67ccb291e3aaf,

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 = "???core.languages.en_GB???",

volume = "2719",

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

publisher = "Springer Berlin Heidelberg",

pages = "857--870",

booktitle = "International Colloquium on Automata, Languages, and Programming",

}

Eisner, C, Fisman, D, Havlicek, J, McIsaac, A & Van Campenhout, D 2003, The definition of a temporal clock operator. in International Colloquium on Automata, Languages, and Programming. vol. 2719, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Berlin Heidelberg, 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; McIsaac, Anthony; Van Campenhout, David.

International Colloquium on Automata, Languages, and Programming. Vol. 2719 Springer Berlin Heidelberg, 2003. p. 857-870 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

TY - GEN

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 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:35248828010

VL - 2719

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

SP - 857

EP - 870

BT - International Colloquium on Automata, Languages, and Programming

PB - Springer Berlin Heidelberg

ER -

Eisner C, Fisman D, Havlicek J, McIsaac A, Van Campenhout D. The definition of a temporal clock operator. In International Colloquium on Automata, Languages, and Programming. Vol. 2719. Springer Berlin Heidelberg. 2003. p. 857-870. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-45061-0_67

The definition of a temporal clock operator

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this