Nina Amla, E. Allen Emerson, Kedar S. Namjoshi  Home/Search
Context Related
| utexas.edu/users/namla/charme99.ps CHARME.compositionaltimin...CHARME.com Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu/users/namla/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Timing diagrams are widely used in industrial practice to express precedence and timing relationships amongst a collection of signals. This graphical notation is often more convenient than the use of temporal logic or automata. We introduce a class of timing diagrams called Regular Timing Diagrams (RTD's). RTD's have a precise syntax, and a formal semantics that is simple and corresponds to common usage. Moreover, RTD's have an inherent compositional structure, which is exploited to... (Update)
Context of citations to this paper: More
...that the SRTD syntax can express common timing properties and is expressive enough for industrial verification needs. In previous work [1, 2], we proposed a class of timing diagrams called RTD s (for Regular Timing Diagrams) that are particularly well suited for describing...
Cited by: More
Model Checking Synchronous Timing Diagrams - Amla, Emerson, Kurshan, Namjoshi (Correct)
Similar documents (at the sentence level):
37.1%: Efficient Decompositional Model-Checking for Regular.. - Amla, Emerson, Namjoshi (1999) (Correct)
Active bibliography (related documents): More All
0.8: A Graphic Language Based on Timing Diagrams - Antoine, Le Goff, Pin (Correct)
0.3: Verifying Out-of-Order Executions - Damm, Pnueli (1997) (Correct)
0.3: A Visual Formalism for Real Time Requirement Specifications - Feyerabend, Josko (1997) (Correct)
Similar documents based on text: More All
0.5: Autoabs: Syntax-Directed Program Abstraction - Nina Amla Robert (Correct)
0.4: Verification of a Parameterized Bus Arbitration Protocol - Emerson, Namjoshi (1998) (Correct)
0.4: Visual Specifications for Modular Reasoning about.. - Amla, Emerson.. (2002) (Correct)
Related documents from co-citation: More All
2: Checking that Finite State Concurrent Programs Satisfy their Linear Specificatio.. (context) - Lichtenstein, Pnueli - 1985
2: Sangiovanni-Vincentelli (context) - Brayton, Hachtel et al. - 1984
2: Symbolic timing verification of timing diagrams using presburger formulas - Amon, Borriello et al. - 1997
BibTeX entry: (Update)
N. Amla, E.A. Emerson, and K.S. Namjoshi. Efficient Decompositional Model Checking for Regular Timing Diagrams. In CHARME. Springer-Verlag, September 1999. http://citeseer.ist.psu.edu/article/amla99efficient.html More
@inproceedings{ amla99efficient,
author = "Nina Amla and E. Allen Emerson and Kedar S. Namjoshi",
title = "Efficient Decompositional Model Checking for Regular Timing Diagrams",
booktitle = "Conference on Correct Hardware Design and Verification Methods",
pages = "67-81",
year = "1999",
url = "citeseer.ist.psu.edu/article/amla99efficient.html" }
Citations (may not include all citations):1097 Automatic Verification of Finite-State Concurrent Systems us.. (context) - Clarke, Emerson et al. - 1986
434 An Automata-Theoretic approach to Automatic Program Verifica.. (context) - Vardi, Wolper - 1986
397 Design and Synthesis of Synchronization Skeletons using Bran.. (context) - Clarke, Emerson - 1981
267 Computer-aided verification of coordinating processes: the A.. (context) - Kurshan - 1994
230 Checking that Finite State Concurrent Programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
221 Specification and Verification of Concurrent Systems in CESA.. (context) - Queille, Sifakis - 1982
81 The Complementation Problem for Buchi Automata with Applicat.. (context) - Sistla, Vardi et al. - 1987
52 Specification and Verification of Concurrent Programs by 8-A.. (context) - Manna, Pnueli - 1987
29 Specification and Verification of VHDLbased System-level Har.. (context) - Damm, Josko et al. - 1994
18 A Visual Formalism for Real Time Requirement Specifications - Feyerabend, Josko - 1997
18 Formalized Timing Diagrams (context) - Borriello - 1992
16 Really Visual Temporal Reasoning - Ramakrishna, Melliar-Smith et al. - 1993
12 Transformation of Timing Diagram Specifications into VHDL Co.. (context) - Grass, Grobe et al. - 1995
11 Hardware synthesis from requirement specifications - Feyerabend, Schlor - 1996
11 A Unified Approach to Hardware Verification Through a Hetero.. - Fisler - 1996
8 Containment of Regular Languages in Non-Regular Timing Diagr.. - Fisler - 1997
7 Microprocessing and Microprogramming (context) - Helbig, Schlor et al. - 1996
6 A Graph-based Method for Timing Diagrams Representation and .. (context) - Cingel - 1993
5 Sangiovanni-Vincentelli (context) - Brayton, Hachtel - 1996
5 Verification of Concurrent Programs (context) - Vardi - 1987
4 Using Graphical Specification Languages and Symbolic Model C.. (context) - Damm, Hunger et al. - 1994
4 Timing Diagrams for Writing and Checking Logical and Behavio.. (context) - Antoine, Le Goff - 1992
4 Real-time Symbolic Timing Diagrams - Feyerabend - 1994
3 Semantics and Verification of Timing Diagrams with Linear Ti.. (context) - Khordoc, Cerny - 1998
3 Bus Protocol Conversion: from Timing Diagrams to State Machi.. (context) - Tiedemann - 1992
3 A Prover for VHDL-based Hardware Design (context) - Schlor - 1995
2 Linking Visual Formalisms: A Compositional proof System for .. (context) - Damm, Helbig - 1994
2 Proving System Properties by means of Trigger-Graph and Petr.. (context) - Thurner - 1996
1 Verification of Real-Time Controllers against Timing Diagram.. (context) - Jin, Cerny - 1998
Documents on the same site (http://www.cs.utexas.edu/users/namla/):
Assume-Guarantee Based Compositional Reasoning for.. - Amla, Emerson.. (Correct)
Model Checking Synchronous Timing Diagrams - Amla, Emerson, Kurshan, Namjoshi (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC