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
N1 - Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
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 - פרסום בספר כנס
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 -