The definition of a temporal clock operator

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

Volumn 2719, Issue , 2003, Pages 857-870

  Eisner, Cindy ^a   Fisman, Dana ^a,b   Havlicek, John ^c   McIsaac, Anthony ^d   Van Campenhout, David ^e  

^a IBM HAIFA RESEARCH LAB   (Israel)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^c MOTOROLA INC   (United States)

^d STMICROELECTRONICS   (Italy)

^e Verisity Design

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; HARDWARE; RECONFIGURABLE HARDWARE; TEMPORAL LOGIC;

HARDWARE DESIGN;

CLOCKS;

EID: 35248828010     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45061-0_67     Document Type: Article

References (11)

1. R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T. Kanza, A. Landver, S. Mador-Haim, E. Singerman, A. Tiemeyer, M. Y. Vardi, and Y. Zbar. The ForSpec temporal logic: A new temporal property-specification language. In J.-P. Katoen and P. Stevens, editors, Proc. 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2280 of Lecture Notes in Computer Science. Springer, 2002.
2. E. Clarke and E. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logics of Programs, LNCS 131, pages 52-71. Springer-Verlag, 1981.
3. C. Eisner and D. Fisman. Sugar 2.0 proposal presented to the Accellera Formal Verification Technical Committee, March 2002. At http://www.haifa.il.ibm.com/projects/verification/ sugar/Sugar_2.0_Accellera.ps.
4. M. J. C. Gordon. Using HOL to study Sugar 2.0 semantics. In Proc. 15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs), NASA Conference Proceedings CP-2002-211736, 2002.
5. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, 1991.
6. J. Havlicek, N. Levi, H. Miller, and K. Shultz. Extended CBV statement semantics, partial proposal presented to the Accellera Formal Verification Technical Committee, April 2002. At http://www.eda.org/vfv/hm/att-0772/01-ecbv_statement_semantics.ps.gz.
7. C. Liu and M. Orgun. Executing specifications of distributed computations with Chronologic(MC). In Proceedings of the 1996 ACM Symposium on Applied Computing (SAC), February 17-19, 1996, Philadelphia, PA, USA. ACM, 1996.
8. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety, pages 272-273. Springer-Verlag, New York, 1995.
9. M. Morley. Semantics of temporal e. In T. F. Melham and F. G. Moller, editors, Proc. Banff'99 Higher Order Workshop (Formal Methods in Computation), 1999. University of Glasgow, Dept. of Computing Science Technical Report.
10. A. Pnueli. A temporal logic of concurrent programs. Theoretical Computer Science, 13:45-60, 1981.
11. F. Wang, A. K. Mok, and E. A. Emerson. Distributed real-time system specification and verification in APTL. ACM Transactions on Software Engineering and Methodology, 2(4):346-378, Oct. 1993.