-
4
-
-
0031622741
-
Validation with Guided Search of the State Space
-
C. Yang, D. Dill, “Validation with Guided Search of the State Space”, In Proceedings of DAC’98
-
Proceedings of DAC’98
-
-
Yang, C.1
Dill, D.2
-
6
-
-
0022769976
-
Graph-based Algorithms for Boolean Function Manipulations
-
August
-
R. Bryant, “Graph-based Algorithms for Boolean Function Manipulations”, IEEE Transactions on Computers,C-35:677-691, August 1986.
-
(1986)
IEEE Transactions on Computers
, vol.C-35
, pp. 677-691
-
-
Bryant, R.1
-
10
-
-
4444374897
-
A Unified Framework for the Formal Verification of Sequential Circuits
-
O. Coudert, J. Madre “A Unified Framework for the Formal Verification of Sequential Circuits”, in Proceedings of ICCAD’90.
-
Proceedings of ICCAD’90
-
-
Coudert, O.1
Madre, J.2
-
11
-
-
0033300431
-
Efficient Fixpoint Computation for Invariant Checking
-
K. Ravi, F. Somenzi, “Efficient Fixpoint Computation for Invariant Checking”, In Proceedings of ICCD’99, pp. 467-474.
-
Proceedings of ICCD’99
, pp. 467-474
-
-
Ravi, K.1
Somenzi, F.2
-
12
-
-
18944401432
-
“Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams
-
B. Lin, R. Newton “Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams” in Proceedings of ICCD’91.
-
Proceedings of ICCD’91
-
-
Lin, B.1
Newton, R.2
-
17
-
-
0032672712
-
Improving the Efficiency of BDD-Based Operators by Means of Partitioning
-
G. Cabodi, P. Camurati, S. Quer, "Improving the Efficiency of BDD-Based Operators by Means of Partitioning," IEEE Transactions on CAD, pp. 545-556, May 1999.
-
(1999)
IEEE Transactions on CAD
, pp. 545-556
-
-
Cabodi, G.1
Camurati, P.2
Quer, S.3
-
18
-
-
0004000699
-
CUDD: CU Decision Diagram Package – Release 2. 3. 0
-
Dept. Electrical and Computer Engineering, University of Colorado, Boulder
-
F. Somenzi, “CUDD: CU Decision Diagram Package – Release 2. 3. 0”, Technical Report, Dept. Electrical and Computer Engineering, University of Colorado, Boulder
-
Technical Report
-
-
Somenzi, F.1
-
19
-
-
0005442666
-
Efficient Regression Verification
-
19-21 August, Edinburgh, IEE, London
-
R. H. Hardin, R. P. Kurshan, K. L. McMillan, J. A. Reeds and N. J. A. Sloane, “Efficient Regression Verification”, Int'l Workshop on Discrete Event Systems (WODES '96), 19-21 August, Edinburgh, IEE, London, 1996, pp. 147-150.
-
(1996)
Int'l Workshop on Discrete Event Systems (WODES '96)
, pp. 147-150
-
-
Hardin, R.H.1
Kurshan, R.P.2
McMillan, K.L.3
Reeds, J.A.4
Sloane, N.J.5
-
20
-
-
0028413136
-
Symbolic Model Checking for Sequential Circuit Verification
-
April
-
J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan, D. L. Dill, “Symbolic Model Checking for Sequential Circuit Verification”, IEEE Transactions on Computer-Aided Designs of Integrated Circuits and Systems, 401-424 Vol. 13, No. 4, April 1994.
-
(1994)
IEEE Transactions on Computer-Aided Designs of Integrated Circuits and Systems
, 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
|