Gurmeet Singh Manku, Ramin Hojati, Robert K Brayton  Home/Search
Context Related
| berkeley.edu/~manku/...symmetries.ps.gz mathe2.unibayreut..._model_checking.ps 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: berkeley.edu/~manku/ (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. The set of sub-formulas of a formula is partitioned into equivalence classes so that truth values for only one sub-formula in any class need be evaluated for model checking. Structural symmetries in net-list descriptions of digital circuits and CTL* formulas are formally defined and their relationship with the corresponding... (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):
44.9%: Structural Symmetry and Model Checking - Manku, Hojati, Brayton (Correct)
42.4%: Structural Symmetries and Model Checking - Manku (1998) (Correct)
Active bibliography (related documents): More All
0.5: Automatic Comparison of Execution Histories in the Debugging of.. - Han (1999) (Correct)
0.4: Unknown - (Correct)
0.4: Pruning by Isomorphism in Branch-and-Cut - Margot (2001) (Correct)
Similar documents based on text: More All
0.3: Routing Networks for Distributed Hash Tables - Manku (2003) (Correct)
0.3: Approximate Frequency Counts over Data Streams - Manku (2002) (Correct)
0.3: SETS: Search Enhanced by Topic Segmentation - Bawa, Manku, Raghavan (2003) (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):1726 Graph-based Algorithms for Boolean Function Manipulation - Bryant - 1986
1097 Automatic Verification of Finite-State Concurrent Systems Us.. (context) - Clarke, Emerson et al. - 1986
178 Symbolic Model Checking for Sequential Circuit Verification - Burch, Clarke et al. - 1994
115 Exploiting Symmetry in Temporal Logic Model Checking (context) - Clarke, Enders et al. - 1996
114 VIS: A System for Verification and Synthesis - Brayton - 1996
106 Implicit State Enumeration of Finite State Machines using BD.. (context) - Touati, Savoj - 1990
101 Better Verification Through Symmetry - Ip, Dill - 1996
66 Revisited: on Branching versus Linear Time Temporal Logic (context) - Emerson, Halpern et al. - 1986
58 Computer Science Department (context) - McKay, Guide et al. - 1990
50 Graph Algorithms (context) - van Leeuwen - 1990
49 Utilizing Symmetry when Model Checking under Fairness Assump.. - Emerson, Sistla - 1995
43 Formal Methods in System Design (context) - Emerson, Sistla et al. - 1996
30 Reachability Analysis of Petri Nets using Symmetries (context) - Starke - 1991
28 Fundamental Algorithms for Permutation Groups (context) - Butler - 1991
22 Computational Methods in the Study of Permutation Groups (context) - Sims - 1970
22 Verification Techniques for Cache Coherence Protocols - Pong, Dubois - 1997
21 Towards Reachability Trees for High-level Petri Nets (context) - Huber, Jepsen et al. - 1984
20 Fly Model Checking under Fairness that Exploits Symmetry - Gyuris, Sistla - 1997
19 Combining Partial Order and Symmetry Reductions - Emerson, Jha et al. - 1997
12 A Compact Representation for Permutation Groups (context) - Jerrum - 1986
11 BLIF-MV: An Interchange Format for Design Verification and S.. (context) - Brayton - 1991
11 Exploiting Symmetry when Verifying Transistor-Level Circuits.. (context) - Pandey, Bryant - 1997
9 The Boolean Isomorphism Problem - Agrawal, Thierauf - 1996
9 Synthesis of Concurrent Systems with many Similar Sequential.. (context) - Attie, Emerson - 1989
7 A General Backtrack Algorithm for the Isomorphism Problem of.. (context) - Butler, Lam - 1985
6 A New Base Change Algorithm for Permutation Groups (context) - Brown, Finkelstein et al. - 1989
4 VLMV Compiler from Verilog to BLIF MV (context) - York, MV et al. - 1993
2 Available via ftp from ftp (context) - Groups, Programs et al.
2 Efficient Graph Automorphism by Vertex Partitioning (context) - Fowler, Haralick - 1983
2 the Complexity of Intersecting Permutation Groups and its Re.. (context) - Hoffman - 1980
2 A Fast Backtrack Algorithm to Test Directed Graphs for Isomo.. (context) - Schmidt, Druffel - 1976
1 Testing Containment of Omegaregular Languages (context) - Kurshan - 1987
1 Master's thesis UCB/ERL M (context) - Manku, Symmetries et al. - 1997
Documents on the same site (http://www-cad.eecs.berkeley.edu/~manku/): More
A New Voting Based Hardware Data Prefetch Scheme - Singh, Mukul, Prasad, Patterson (Correct)
Object Tracking using Affine Multiple Views Geometry - Manku, Nautiyal, Banerjee (1996) (Correct)
A Linear Time Algorithm for the Bottleneck Biconnected Spanning.. - Manku (1996) (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