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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Eisner, C., Fisman, D., Havlicek, J., McIsaac, A., & Van Campenhout, D. (2003). The definition of a temporal clock operator. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2719, 857–870. https://doi.org/10.1007/3-540-45061-0_67
Mendeley helps you to discover research relevant for your work.