STARI: A case study in compositional and hierarchical timing verification

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

Volumn 1254, Issue , 1997, Pages 191-201

  Taşiran, Serdar ^a   Brayton, Robert K ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; REAL TIME SYSTEMS; TIMING CIRCUITS;

TIMING VERIFICATION;

COMPUTER AIDED ANALYSIS;

EID: 84947447115     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63166-6_20     Document Type: Conference Paper

References (9)

1. R. Alur, T.A. Henzinger, M.Y. Vardi. Parametric real-time reasoning. In Proceedings of the 25th ACM Symposium on Theory of Computing, pp. 592-601, 1993.
2. R. Alur and R.P. Kurshan. Timing analysis in COSPAN. In Hybrid Systems III, Lecture Notes in Computer Science. Springer-Verlag, 1996.
3. M. R. Greenstreet STARI: A Technique for High-Bandwidth Communication. PhD thesis, Princeton University, 1993.
4. M. R. Greenstreet STARI: Skew Tolerant Communication. Unpublished manuscript.
5. H. Hulgaard, S. M. Burns, T. Amon, and G. Borriello Practical Applications of an Efficient Time Separation of Events Algorithm In Digest of Technical Papers of the 1993 IEEE Intl. Conf. on Computer-Aided Design, November 1993.
6. C. Leung, M. Greenstreet A Simple Proof Checker for Timing Verification. In ACM Intl. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, pages 294-305, November 1995.
7. O. Maler, A. Pnueli Timing Analysis of Asynchronous Circuits Using Timed Automata In ACM Intl. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, pages 249-257, November 1995.
8. S. Taşiran, R. Alur, R. P. Kurshan, and R. K. Brayton Verifying Abstractions of Timed Systems. In Proc. of the 7th Intl. Conf. on Concurrency Theory, CONCUR '96, LNCS 1119, pages 546-562, Springer-Verlag, 1996.
9. http://www-cad.eecs.berkeley.edu/~serdar/stari.html