-
1
-
-
84944319371
-
Symbolic model checking without BDDs
-
Amsterdam, The Netherlands, March
-
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), pages 193-207, Amsterdam, The Netherlands, March 1999.
-
(1999)
Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99)
, pp. 193-207
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.3
Zhu, Y.4
-
2
-
-
84957376851
-
VIS: A system for verification and synthesis
-
T. Henzinger and R. Alur, editors Springer-Verlag, Rutgers University LNCS 1102
-
R. K. Brayton et al. VIS: A system for verification and synthesis. In T. Henzinger and R. Alur, editors, Eighth Conference on Computer Aided Verification (CAV'96), pages 428-432. Springer-Verlag, Rutgers University, 1996. LNCS 1102.
-
(1996)
Eighth Conference on Computer Aided Verification (CAV'96)
, pp. 428-432
-
-
Brayton, R.K.1
-
3
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
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
, vol.35 C
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
4
-
-
0028413136
-
Symbolic model checking for sequential circuit verification
-
April
-
J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design, 13(4):401-424, April 1994.
-
(1994)
IEEE Transactions on Computer-Aided Design
, vol.13
, Issue.4
, pp. 401-424
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
McMillan, K.L.4
Dill, D.L.5
-
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
-
-
0034313430
-
Optimal partitioners and end-case placers for standard-cell layout
-
November
-
A. E. Caldwell, A. B. Kahng, and I. Markov. Optimal partitioners and end-case placers for standard-cell layout. IEEE Transactions on Computer-Aided Design, 19(11):1304-1314, November 2000.
-
(2000)
IEEE Transactions on Computer-Aided Design
, vol.19
, Issue.11
, pp. 1304-1314
-
-
Caldwell, A.E.1
Kahng, A.B.2
Markov, I.3
-
8
-
-
0035212854
-
Nonlinear quantification scheduling in image computation
-
San Jose, CA, November
-
P. P. Chauhan, E. M. Clarke, S. Jha, J. Kukula, T. Shiple, H. Veith, and D. Wang. Nonlinear quantification scheduling in image computation. In Proceedings of the International Conference on Computer-Aided Design, pages 293-298, San Jose, CA, November 2001.
-
(2001)
Proceedings of the International Conference on Computer-Aided Design
, pp. 293-298
-
-
Chauhan, P.P.1
Clarke, E.M.2
Jha, S.3
Kukula, J.4
Shiple, T.5
Veith, H.6
Wang, D.7
-
9
-
-
0000531015
-
Verification of sequential machines based on symbolic execution
-
J. Sifakis, editor Springer-Verlag LNCS 407
-
O. Coudert, C. Berthet, and J. C. Madre. Verification of sequential machines based on symbolic execution. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, pages 365-373. Springer-Verlag, 1989. LNCS 407.
-
(1989)
Automatic Verification Methods for Finite State Systems
, pp. 365-373
-
-
Coudert, O.1
Berthet, C.2
Madre, J.C.3
-
12
-
-
84968448732
-
Efficient model checking by automated ordering of transition relation partitions
-
D. L. Dill, editor Berlin Springer-Verlag. LNCS 818
-
D. Geist and I. Beer. Efficient model checking by automated ordering of transition relation partitions. 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
-
13
-
-
0035215350
-
Partition-based decision heuristics for image computation using SAT and BDDs
-
San Jose, CA, November
-
A. Gupta, Z. Yang, L. Zhang, and S. Malik. Partition-based decision heuristics for image computation using SAT and BDDs. In Proceedings of the International Conference on Computer-Aided Design, pages 286-292, San Jose, CA, November 2001.
-
(2001)
Proceedings of the International Conference on Computer-Aided Design
, pp. 286-292
-
-
Gupta, A.1
Yang, Z.2
Zhang, L.3
Malik, S.4
-
14
-
-
0030398808
-
Early quantification and partitioned transition relations
-
Austin, TX, October
-
R. Hojati, S. C. Krishnan, and R. K. Brayton. Early quantification and partitioned transition relations. In Proceedings of the International Conference on Computer Design, pages 12-19, Austin, TX, October 1996.
-
(1996)
Proceedings of the International Conference on Computer Design
, pp. 12-19
-
-
Hojati, R.1
Krishnan, S.C.2
Brayton, R.K.3
-
15
-
-
84947275334
-
Border-block triangular form and conjunction schedule in image computation
-
W.A. Hunt, Jr. and S.D. Johnson, editors Springer-Verlag, November LNCS 1954
-
I-H. Moon, G. D. Hachtel, and F. Somenzi. Border-block triangular form and conjunction schedule in image computation. In W.A. Hunt, Jr. and S.D. Johnson, editors, Formal Methods in Computer Aided Design, pages 73-90. Springer-Verlag, November 2000. LNCS 1954.
-
(2000)
Formal Methods in Computer Aided Design
, pp. 73-90
-
-
Moon, I.-H.1
Hachtel, G.D.2
Somenzi, F.3
-
16
-
-
0033684175
-
To split or to conjoin: The question in image computation
-
Los Angeles, CA, June
-
I.-H. Moon, J. H. Kukula, K. Ravi, and F. Somenzi. To split or to conjoin: The question in image computation. In Proceedings of the Design Automation Conference, pages 23-28, Los Angeles, CA, June 2000.
-
(2000)
Proceedings of the Design Automation Conference
, pp. 23-28
-
-
Moon, I.-H.1
Kukula, J.H.2
Ravi, K.3
Somenzi, F.4
-
17
-
-
33745778302
-
Efficient BDD algorithms for FSM synthesis and verification
-
Presented at 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)
IWLS95
-
-
Ranjan, R.K.1
Aziz, A.2
Brayton, R.K.3
Plessier, B.F.4
Pixley, C.5
-
18
-
-
0343276958
-
Automated validation of a communications protocol: The CCITT X.21 recommendation
-
C. H. West and P. Zafiropulo. Automated validation of a communications protocol: The CCITT X.21 recommendation. IBM Journal of Research and Development, 22:60-71, 1978.
-
(1978)
IBM Journal of Research and Development
, vol.22
, pp. 60-71
-
-
West, C.H.1
Zafiropulo, P.2
|