-
1
-
-
84957376851
-
VIS: A system for verification and synthesis
-
In T. Henzinger andR. Alur, editors, Springer-Verlag, Rutgers University, LNCS 1102
-
R. K. Brayton et al. VIS: A system for verification and synthesis. In T. Henzinger andR. Alur, editors, Eigth Conference on Computer Aided Verification(CAV'96), pages 428-432. Springer-Verlag, Rutgers University, 1996. LNCS 1102.
-
(1996)
Eigth Conference on Computer Aided Verification(CAV'96)
, pp. 428-432
-
-
Brayton, R.K.1
-
2
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
C-35:, August
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
-
(1986)
IEEE Transactions on Computers
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
3
-
-
0026174710
-
Representing circuits more efficiently in symbolic model checking
-
San Francisco, CA, June
-
J. R. Burch, E. M. Clarke, and D. E. Long. Representing circuits more efficiently in symbolic model checking. In Proceedings of the Design Automation Conference, pages 403-407, San Francisco, CA, June 1991.
-
(1991)
Proceedings of the Design Automation Conference
, pp. 403-407
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
-
4
-
-
0025595038
-
Symbolic model checking: 1020 states and beyond
-
June
-
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, June 1990.
-
(1990)
Proceedings of the Fifth Annual Symposium on Logic in Computer Science
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwang, L.J.5
-
5
-
-
0030672545
-
Disjunctive partitionining and partial iterative squaring: An effective approach for symbolic traversal of large circuits
-
Anaheim, CA, June
-
G. Cabodi, R Camurati, L. Lavagno, and S. Quer, Disjunctive partitionining and partial iterative squaring: An effective approach for symbolic traversal of large circuits. In Proceedings of the Design Automation Conference, pages 728-733, Anaheim, CA, June 1997.
-
(1997)
Proceedings of the Design Automation Conference
, pp. 728-733
-
-
Cabodi, G.1
Camurati, R.2
Lavagno, L.3
Quer, S.4
-
6
-
-
0030416289
-
Improved reachability analysis of large finite state machines
-
Santa Clara, CA, November
-
G. Cabodi, P. Camurati, and S. Quer. Improved reachability analysis of large finite state machines. In Proceedings of the International Conference on Computer-Aided Design, pages 354-360, Santa Clara, CA, November 1996.
-
(1996)
Proceedings of the International Conference on Computer-Aided Design
, pp. 354-360
-
-
Cabodi, G.1
Camurati, P.2
Quer, S.3
-
7
-
-
0030379798
-
Algorithms for approximate FSM traversal based on state space decomposition
-
December
-
H. Cho, G. D. Hachtel, E. Macii, B. Plessier, and F. Somenzi. Algorithms for approximate FSM traversal based on state space decomposition. IEEE Transactions on Computer-Aided Design, 15(12): 1465-1478, December 1996.
-
(1996)
IEEE Transactions on Computer-Aided Design
, vol.15
, Issue.12
, pp. 1465-1478
-
-
Cho, H.1
Hachtel, G.D.2
Macii, E.3
Plessier, B.4
Somenzi, F.5
-
8
-
-
0000531015
-
Verification of sequential machines using boolean functional vectors
-
In L. Claesen, editor, Leuven, Belgium, November
-
O. Coudert, C. Berthet, and J. C. Madre. Verification of sequential machines using boolean functional vectors. In L. Claesen, editor, Proceedings IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, pages 111-128, Leuven, Belgium, November 1989.
-
(1989)
Proceedings IFIP International Workshop on Applied Formal Methods for Correct VLSI Design
, pp. 111-128
-
-
Coudert, O.1
Berthet, C.2
Madre, J.C.3
-
10
-
-
84968448732
-
Efficient model checking by automated ordering of transition relation parititons
-
In D. L. Dill, editor, Berlin, Springer-Verlag. LNCS 818
-
D. Geist and I. Beer. Efficient model checking by automated ordering of transition relation parititons. In D. L. Dill, editor, Sixth Conference on Computer Aided Verification (CAV'94), pages 299-310, Berlin, 1994. Springer-Verlag. LNCS 818.
-
(1994)
Sixth Conference on Computer Aided Verification (CAV'94)
, pp. 299-310
-
-
Geist, D.1
Beer, I.2
-
11
-
-
0030651955
-
Safe BDD minimization using don't cares
-
Anaheim, CA, June
-
Y. Hong, P. A. Beerel, J. R. Burch, and K. L. McMillan. Safe BDD minimization using don't cares. In Proceedings of the Design Automation Conference, pages 208-213, Anaheim, CA, June 1997.
-
(1997)
Proceedings of the Design Automation Conference
, pp. 208-213
-
-
Hong, Y.1
Beerel, P.A.2
Burch, J.R.3
McMillan, K.L.4
-
12
-
-
0027073994
-
Variable ordering and selection for FSM traversal
-
Santa Clara, CA, November
-
S.-W. Jeong, B. Plessier, G. D. Hachtel, and F. Somenzi. Variable ordering and selection for FSM traversal. In Proceedings of the IEEE International Conference on Computer Aided Design, pages 476-479, Santa Clara, CA, November 1991.
-
(1991)
Proceedings of the IEEE International Conference on Computer Aided Design
, pp. 476-479
-
-
Jeong, S.-W.1
Plessier, B.2
Hachtel, G.D.3
Somenzi, F.4
-
14
-
-
0030672648
-
Formal verification in a commercial setting
-
Anaheim, CA, June
-
R. P. Kurshan. Formal verification in a commercial setting. In Proceedings of the Design Automation Conference, pages 258-262, Anaheim, CA, June 1997.
-
(1997)
Proceedings of the Design Automation Conference
, pp. 258-262
-
-
Kurshan, R.P.1
-
15
-
-
0030387006
-
Tearing based abstraction for CTL model checking
-
San Jose, CA, November
-
W. Lee, A. Pardo, J. Jang, G. Hachtel, and F. Somenzi. Tearing based abstraction for CTL model checking. In Proceedings of the International Conf erence on Computer-Aided Design, pages 76-81, San Jose, CA, November 1996.
-
(1996)
Proceedings of the International Conf Erence on Computer-Aided Design
, pp. 76-81
-
-
Lee, W.1
Pardo, A.2
Jang, J.3
Hachtel, G.4
Somenzi, F.5
-
18
-
-
84957656917
-
A conjunctively decomposed boolean representation for symbolic model checking
-
In R. Alur and T. A. Henzinger, editors, Springer-Verlag, Berlin, August, LNCS 1102
-
K. L. McMillan. A conjunctively decomposed boolean representation for symbolic model checking. In R. Alur and T. A. Henzinger, editors, 8th Conference on Computer Aided Verification (CAV'96), pages 13-25. Springer-Verlag, Berlin, August 1996. LNCS 1102.
-
(1996)
8th Conference on Computer Aided Verification (CAV'96)
, pp. 13-25
-
-
McMillan, K.L.1
-
19
-
-
0031338901
-
Reachability analysis using partitioned ROBDDs
-
November
-
A. Narayan, A. J. Isles, J. Jain, R. K. Brayton, and A.L. Sangiovanni-Vincentelli. Reachability analysis using partitioned ROBDDs. In Proceedings of the International Conf erence on Computer-Aided Design, pages 388-393, November 1997.
-
(1997)
Proceedings of the International Conf Erence on Computer-Aided Design
, pp. 388-393
-
-
Narayan, A.1
Isles, A.J.2
Jain, J.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.L.5
-
20
-
-
0030414240
-
Partition ROBDDs: A compact, canonical and efficiently manipulable representation for boolean functions
-
Santa Clara, CA, November
-
A. Narayan, J. Jain, M. Fujita, and A. L. Sangiovanni-Vincentelli. Partition ROBDDs: A compact, canonical and efficiently manipulable representation for boolean functions. In Proceedings of the International Conference on Computer- Aided Design, pages 547-554, Santa Clara, CA, November 1996.
-
(1996)
Proceedings of the International Conference on Computer- Aided Design
, pp. 547-554
-
-
Narayan, A.1
Jain, J.2
Fujita, M.3
Sangiovanni-Vincentelli, A.L.4
-
21
-
-
0041006433
-
Automatic abstraction techniques for propositional/x-calculus model checking
-
In O. Grumberg, editor. Springer-Verlag, Berlin, LNCS 1254
-
A. Pardo and G. D. Hachtel. Automatic abstraction techniques for propositional/x-calculus model checking. In O. Grumberg, editor. Ninth Conference on Computer Aided Verification (CAV'97). Springer-Verlag, Berlin, 1997. LNCS 1254.
-
(1997)
Ninth Conference on Computer Aided Verification (CAV'97)
-
-
Pardo, A.1
Hachtel, G.D.2
-
22
-
-
33745778302
-
-
Presented at IWLS95, Lake Tahoe, CA. May
-
R. K. Ranjan, A. Aziz, R. K. Brayton, B. F. Plessier, and C. Pixley. Efficient BDD algorithms for FSM synthesis and verification. Presented at IWLS95, Lake Tahoe, CA., May 1995.
-
(1995)
Efficient BDD Algorithms for FSM Synthesis and Verification
-
-
Ranjan, R.K.1
Aziz, A.2
Brayton, R.K.3
Plessier, B.F.4
Pixley, C.5
-
25
-
-
0043198407
-
-
PhD thesis. University of California at Berkeley, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, CA 94720, October, Memorandum No. UCB/ERL M96/76
-
T. R. Shiple. Formal Analysis of Synchronous Circuits. PhD thesis. University of California at Berkeley, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, CA 94720, October 1996. Memorandum No. UCB/ERL M96/76.
-
(1996)
Formal Analysis of Synchronous Circuits
-
-
Shiple, T.R.1
-
26
-
-
85053113837
-
-
Technical Report UCB/ERL M97/73, University of California at Berkeley, August
-
T. R. Shiple, R. K. Ranjan, A. L. Sangiovanni-Vincentelli, and R. K. Brayton. Deciding state reachability for large FSMs. Technical Report UCB/ERL M97/73, University of California at Berkeley, August 1996.
-
(1996)
Deciding State Reachability for Large FSMs
-
-
Shiple, T.R.1
Ranjan, R.K.2
Sangiovanni-Vincentelli, A.L.3
Brayton, R.K.4
-
28
-
-
0025545981
-
Implicit enumeration of finite state machines using BDD's
-
November
-
H. Touati, H. Savoj, B. Lin, R. K. Brayton, and A. Sangiovanni-Vincentelli. Implicit enumeration of finite state machines using BDD's. In Proceedings of the IEEE International Conference on Computer Aided Design, pages 130-133, November 1990.
-
(1990)
Proceedings of the IEEE International Conference on Computer Aided Design
, pp. 130-133
-
-
Touati, H.1
Savoj, H.2
Lin, B.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.5
|