Gurmeet Singh Manku  Home/Search
Context Related
| stanford.edu/~manku/p...msthesis.ps.gz 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: stanford.edu/~manku/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a fully automatic framework for identifying symmetries in structural descriptions of digital circuits and CTL* formulas and using them in a model checker. We show how the set of sub-formulas of a formula can be partitioned into equivalence classes so that truth values for only one sub-formula in any class need be evaluated for model checking. We unify and extend the theories developed by Clarke et al [CEFJ96] and Emerson and Sistla [ES96] for symmetries in Kripke structures. We... (Update)
Context of citations to this paper: More
...nature that can handle arbitrary graphs, NAUTY does not perform best in circuit applications. Based on this observation, Manku, et al. [15] proposed a specialized automorphism detection algorithm [16] that is tuned for CTL formulas and BLIF circuit descriptions. The...
...perform best in circuit applications. Based on this observation, Manku, et al. 15] proposed a specialized automorphism detection algorithm [16] that is tuned for CTL formulas and BLIF circuit descriptions. The algorithm is based on an interleaved refinement of two...
Cited by: More
Gurmeet Singh Manku - My Current Research (Correct)
Structural Detection of Symmetries in Boolean Functions - Wang, Kuehlmann.. (2003) (Correct)
Similar documents (at the sentence level):
14.4%: Structural Symmetries and Model Checking - Manku, Hojati, Brayton (1998) (Correct)
8.6%: Structural Symmetry and Model Checking - Manku, Hojati, Brayton (Correct)
Active bibliography (related documents): More All
0.1: Incremental Formal Design Verification - Swamy, Brayton (1994) (Correct)
0.1: Formal Methods in VLSI System Design - Aziz (1996) (Correct)
0.1: Incremental Methods for Formal Verification and Logic Synthesis - Swamy (1996) (Correct)
Similar documents based on text: More All
0.4: Equivalences for fair Kripke structures - Aziz, Singhal, Balarin, Brayton, .. (1994) (Correct)
0.4: Approximate Medians and other Quantiles in One Pass and .. - Manku, Rajagopalan.. (1998) (Correct)
0.4: Random Sampling Techniques for Space Efficient Online.. - Manku, Rajagopalan.. (1999) (Correct)
Related documents from co-citation: More All
2: BDD minimization using symmetries (context) - Scholl, Moller et al. - 1999
2: fly compression of logical circuits - Ganai, Kuehlmann - 2000
2: Solving difficult sat instances in the presence of symmetry - Aloul, Ramani et al. - 2002
BibTeX entry: (Update)
G. S. Manku, R. Hojati, and R. K. Brayton, "Structural symmetries and model checking," in International Conference on Computer-Aided Verification, (Vancouver, Canada), pp. 159--171, July 1998. http://citeseer.ist.psu.edu/article/manku98structural.html More
@inproceedings{ manku98structural,
author = "Gurmeet Singh Manku and Ramin Hojati and Robert K. Brayton",
title = "Structural Symmetry and Model Checking",
booktitle = "Computer Aided Verification",
pages = "159-171",
year = "1998",
url = "citeseer.ist.psu.edu/article/manku98structural.html" }
Citations (may not include all citations):106 Implicit State Enumeration of Finite State Machines using BD.. (context) - Touati, Savoj et al. - 1990
80 Finite Permutation Groups (context) - Wielandt - 1964
72 The Magma Algebra System I: The User Language (context) - Bosma, Cannon et al. - 1996
37 Graph Algorithms - van Leeuwen - 1990
30 Reachability Analysis of Petri Nets using Symmetries (context) - Starke - 1991
22 GRAPE: A System for Computing with Graphs and Groups (context) - Soicher - 1990
20 Computation with Permutation Groups (context) - Sims - 1971
9 An Automata-Theoretic Approach to Program Verification (context) - Vardi, Wolper - 1986
Documents on the same site (http://www-db.stanford.edu/~manku/research.html): More
An O(m + n log* n) Algorithm for Sensitivity Analysis of Minimum.. - Manku (1994) (Correct)
Random Sampling Techniques for Space Efficient Online.. - Manku, Rajagopalan.. (1999) (Correct)
Structural Symmetry and Model Checking - Manku, Hojati, Brayton (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